SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 
Changelog for z3-doc-4.4.0-3.fc23.noarch.rpm :
Thu Jun 25 14:00:00 2015 Richard W.M. Jones - 4.4.0-3
- ocaml-4.02.2 final rebuild.

Thu Jun 18 14:00:00 2015 Richard W.M. Jones - 4.4.0-2
- ocaml-4.02.2 rebuild.

Wed May 27 14:00:00 2015 Jerry James - 4.4.0-1
- New upstream version

Wed Apr 22 14:00:00 2015 Jerry James - 4.3.2-3.20150329git.29606b5
- Fix issues found on review (bz 1206826)

Mon Mar 30 14:00:00 2015 Jerry James - 4.3.2-2.20150329git.29606b5
- Update to latest git HEAD
- Include examples in -doc

Sat Mar 28 13:00:00 2015 Jerry James - 4.3.2-1.20150327git.ac21ffe
- Initial RPM