Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 18 > i386 > by-pkgid > bca5ccb487898536da9520b4a50ab4b8 > changelog

gappalib-coq-source-0.18.0-6.fc18.i686.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Mon Jan 7 2013 Jerry James <loganjerry@gmail.com> - 0.18.0-6

  - Rebuild for coq 8.4pl1

• Fri Oct 19 2012 Jerry James <loganjerry@gmail.com> - 0.18.0-5

  - Rebuild for OCaml 4.00.1

• Tue Aug 21 2012 Jerry James <loganjerry@gmail.com> - 0.18.0-4

  - Rebuild for coq 8.4

• Sat Jul 28 2012 Jerry James <loganjerry@gmail.com> - 0.18.0-3

  - Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1

• Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.18.0-2

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

• Mon Jan 9 2012 Jerry James <loganjerry@gmail.com> - 0.18.0-1

  - New upstream release

• Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 0.17.0-2

  - Rebuild for coq 8.3pl3

• Mon Dec 12 2011 Jerry James <loganjerry@gmail.com> - 0.17.0-1

  - New upstream release

• Sat Oct 29 2011 Jerry James <loganjerry@gmail.com> - 0.16.0-3

  - BR ocaml

• Wed Oct 26 2011 Jerry James <loganjerry@gmail.com> - 0.16.0-2

  - Split out a -devel subpackage

• Tue Jul 5 2011 Jerry James <loganjerry@gmail.com> - 0.16.0-1

  - Initial RPM