Log In
rpms
/
coq
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History coq.spec
Branch:
4b0d0db8a634f55fb056bb518a18315eef6c76ea
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
4b0d0db8a634f55fb056bb518a18315eef6c76ea
coq.spec
Changed tag to allow a proper commit.
Alan Dunn
• 15 years ago
4b0d0db
What the previous spec file for F-8 should've been.
Alan Dunn
• 15 years ago
0ed1b62
Spec file upgrade to allow build in F-8.
Alan Dunn
• 15 years ago
e9ec0a4
Initial commit of F-8 branch of supporting files for coq package.
Alan Dunn
• 15 years ago
6a9dfbc