Log In
rpms
/
coq
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History coq.spec
Branch:
f9
f10
f11
f12
f13
f14
f15
f16
f17
f18
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
f8
f9
main
rawhide
f9
coq.spec
F-9 backport of 8.1pl4 from F-11.
Alan Dunn
• 15 years ago
7c0d01a
Added Coq .v files into the main package at user request.
Alan Dunn
• 15 years ago
fdfc190
Fix prelink issues that prevent binaries from working and implement
Alan Dunn
• 15 years ago
90f1d8e
Changed name of parser binary to coq-parser.
Alan Dunn
• 15 years ago
44b3085
Fixing version numbers for F-8 < F-9 < F-10. (Was actually for a change to
Alan Dunn
• 15 years ago
f411acf
Initial F-9 commit of supporting files for coq package.
Alan Dunn
• 15 years ago
18a7d93