Sophie

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

distrib > Fedora > 17 > x86_64 > media > updates-src > by-pkgid > 49c4857f2759b5c38d10a5a0f49e25fe > changelog

Agda-2.3.0.1-1.fc17.src.rpm

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

• Tue Jul 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1

  - update to 2.3.0.1 and cabal2spec-0.25

• Fri Jun 3 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1

  - MIT license
  - BR ghc-Agda-devel

• Fri Jun 3 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0

  - initial packaging for Fedora automatically generated by cabal2spec-0.23