Sophie

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

distrib > Fedora > 16 > x86_64 > media > updates-src > by-pkgid > a448927cab7e60555b512f2e309f72ca > changelog

flocq-2.0.0-1.fc16.src.rpm

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

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

  - New upstream release
  - Change subpackage from -devel to -source to match gappalib-coq.

• Fri Oct 28 2011 Jerry James <loganjerry@gmail.com> - 1.4.0-3

  - Fix broken version numbers in BR and Requires

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

  - Split out a -devel subpackage

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

  - Initial RPM