rpms / alt-ergo

Clone
Source Code
GIT

Commits 26

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
Rebuild for ocaml-ocamlgraph 1.8.3.
Jerry James • 11 years ago  
341607e
Update to version 0.95.1.
Jerry James • 11 years ago  
8c08f6c
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
Dennis Gilmore • 11 years ago  
ee7460f
Update to version 0.95.
Jerry James • 11 years ago  
a2e3a3f
Rebuild for OCaml 4.00.1.
Jerry James • 11 years ago  
ede4e8e
Rebuild for ocaml-ocamlgraph 1.8.2.
Jerry James • 11 years ago  
0de8574
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore • 11 years ago  
28dba44
Rebuild for OCaml 4.00.0.
Jerry James • 12 years ago  
a4c5ee3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
Dennis Gilmore • 12 years ago  
4c97fc0
Rebuild for OCaml 3.12.1.
Jerry James • 12 years ago  
cf52868
Add a desktop file for the gui.
Jerry James • 12 years ago  
0ed1c81
Build on all arches with ocaml.
Jerry James • 12 years ago  
7c65322
Update to version 0.93.
Jerry James • 13 years ago  
fd51143
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
Dennis Gilmore • 13 years ago  
638a594
Update to version 0.92.1
David A. Wheeler • 13 years ago  
353a576
Update to version 0.91.
David A. Wheeler • 13 years ago  
c1d7b72
dist-git conversion
Fedora Release Engineering • 13 years ago  
c49026e
Fix typo that causes a failure to update the common directory. (releng
Bill Nottingham • 14 years ago  
4482b76
- Added ExcludeArch sparc64 due to no OCaml
Alan Dunn • 14 years ago  
14378b0
Jul 24 2009 Alan Dunn <amdunn@gmail.com> 0.9-1
Alan Dunn • 14 years ago  
75ba6d4
typo
Karsten Hopp • 15 years ago  
4d81714
- ExcludeArch s390x as there's no ocaml available
Karsten Hopp • 15 years ago  
4133a1c
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
Jesse Keating • 15 years ago  
b9ddb10
Rebuild for new upstream source tar, minor spec file change.
Alan Dunn • 15 years ago  
6d1045a
Initial commit for devel branch.
Alan Dunn • 15 years ago  
b9e9249
Setup of module alt-ergo
Kevin Fenzi • 15 years ago  
4aae484
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.