~ubuntu-branches/ubuntu/wily/agda/wily-proposed

  • Committer: Package Import Robot
  • Author(s): Joachim Breitner
  • Date: 2015-07-01 19:26:22 UTC
  • Revision ID: package-import@ubuntu.com-20150701192622-u3hojnr5qhqv45eh
Tags: 2.4.2.2-3
Fix dependency on hashtables
Filename Latest Rev Last Changed Committer Comment Size
..
.pc 17 12 years ago Package Import Robot New patch: Extend mtl dependency Diff
debian 2 14 years ago Bazaar Package Importer * New upstream release 2.2.4. * Repacked to fix a Diff
dist 1.1.6 9 years ago Package Import Robot Import upstream version 2.4.0.2 Diff
src 1 14 years ago Bazaar Package Importer Import upstream version 2.2.4+dfsg Diff
Agda.cabal 27 8 years ago Package Import Robot Fix dependency on hashtables 19.4 KB Diff Download File
CHANGELOG 1.1.7 9 years ago Package Import Robot Import upstream version 2.4.2.2 142 KB Diff Download File
LICENSE 1.1.6 9 years ago Package Import Robot Import upstream version 2.4.0.2 3.1 KB Diff Download File
README.md 1.1.7 9 years ago Package Import Robot Import upstream version 2.4.2.2 6.6 KB Diff Download File
Setup.hs 1.1.6 9 years ago Package Import Robot Import upstream version 2.4.0.2 909 bytes Diff Download File