| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Bump agda to 2.4.2.3-r1 |   Mark Wright | 2015-08-02 | 3 | -5/+128 |
| | | | | | | Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Drop old. |   Sergei Trofimovich | 2015-08-02 | 7 | -440/+11 |
| | | | | | | Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA | ||||
| * | Loosen cpphs dep in agda-2.4.2.2-r1 | Mark Wright | 2015-04-04 | 3 | -9/+13 |
| | | | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Drop old patches | Mark Wright | 2015-01-29 | 7 | -128/+18 |
| | | | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Drop old with now unsatisfied dep on dev-haskell/hashtables |   Patrick Lauer | 2015-01-29 | 6 | -377/+7 |
| | | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 | ||||
| * | Bump agda to 2.4.2.2-r1 | Mark Wright | 2014-12-14 | 4 | -7/+143 |
| | | | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Bump agda to 2.4.0.1 | Mark Wright | 2014-07-02 | 3 | -5/+136 |
| | | | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Drop old. | Sergei Trofimovich | 2014-02-25 | 8 | -221/+24 |
| | | | | | | Package-Manager: portage-2.2.8/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA | ||||
| * | Bump agda to 2.3.2.2-r1 | Mark Wright | 2013-12-10 | 3 | -5/+120 |
| | | | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, ↵ | Mark Wright | 2013-10-19 | 3 | -9/+21 |
| | | | | | | | | fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND. Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Patch agda 2.3.2.1 for haskell-src-exts 1.14 | Mark Wright | 2013-09-13 | 4 | -5/+151 |
| | | | | | | Package-Manager: portage-2.2.3/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Drop old. | Sergei Trofimovich | 2013-06-19 | 3 | -92/+11 |
| | | | | | | Package-Manager: portage-2.2.0_alpha177_p3/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA | ||||
| * | Loosen hashtables and quickcheck deps in agda 2.3.2-r5 | Mark Wright | 2013-04-02 | 3 | -6/+113 |
| | | | | | | Package-Manager: portage-2.2.0_alpha171/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Loosen binary dep, patch for hashable 1.2 | Mark Wright | 2012-12-28 | 4 | -5/+177 |
| | | | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Bump agda to 2.3.2 | Mark Wright | 2012-11-18 | 3 | -5/+106 |
| | | | | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with ↵ | Mark Wright | 2012-11-18 | 4 | -3/+141 |
| | | | | | | | | quickcheck 2.5 Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F | ||||
| * | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage |   Alexander Vershilov | 2012-09-12 | 4 | -35/+28 |
| | | | | | Package-Manager: portage-2.2.0_alpha125/cvs/Linux x86_64 | ||||
| * | Add virtual/emacs and app-emacs/haskell-mode deps | Mark Wright | 2012-06-02 | 4 | -15/+19 |
| | | | | | Package-Manager: portage-2.1.10.64/cvs/Linux x86_64 | ||||
| * | agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps | Mark Wright | 2012-04-13 | 4 | -8/+34 |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | ||||
| * | Fix agda 2.3.0.1 build with mtl-2.1 | Mark Wright | 2012-04-13 | 4 | -15/+23 |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | ||||
| * | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | Mark Wright | 2012-04-01 | 4 | -7/+39 |
| | | | | | Package-Manager: portage-2.1.10.52/cvs/Linux x86_64 | ||||
| * | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵ | Mark Wright | 2012-03-25 | 6 | -22/+135 |
| | | | | | | | EAPI=4, [profile?] for haskell lib depends. Package-Manager: portage-2.1.10.51/cvs/Linux x86_64 | ||||
| * | Bump agda to 2.3.0 bug #349460 | Mark Wright | 2012-01-23 | 5 | -9/+118 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Make sure the agda library gets registered with ghc. |   Lennart Kolmodin | 2010-11-20 | 3 | -8/+15 |
| | | | | | Package-Manager: portage-2.1.8.3/cvs/Linux x86_64 | ||||
| * | Version bump, ebuild originally from markusle (bug #303973). Also forced ↵ |   Sebastien Fabbro | 2010-09-14 | 6 | -28/+128 |
| | | | | | | | emacs on dependencies (thanks to ulm, bug #336741) Package-Manager: portage-2.2_rc81/cvs/Linux x86_64 | ||||
| * | Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since ↵ | Sebastien Fabbro | 2008-12-05 | 5 | -78/+42 |
| | | | | | | | parallel building seems to work again. Package-Manager: portage-2.2_rc16/cvs/Linux 2.6.25-gentoo-r7 x86_64 | ||||
| * | Fixed several compile and QA issues (fixes bug #232349). Disabled doc ↵ |   Markus Dittrich | 2008-07-26 | 5 | -32/+95 |
| | | | | | | | useflag for now since installation of html docs is broken. Package-Manager: portage-2.2_rc3/cvs/Linux 2.6.25-SENTINEL-5 i686 | ||||
| * | Remove all old-style digests from the system and regen the Manifest files. |   Robin H. Johnson | 2008-01-31 | 3 | -40/+0 |
| | | |||||
| * | Drop virtual/ghc in favour of dev-lang/ghc |   Duncan Coutts | 2007-10-31 | 4 | -20/+24 |
| | | | | | Package-Manager: portage-2.1.3.16 | ||||
| * | add elisp-site-regen to postrm and canonicalise it in postinst; depending on ↵ |   Christian Faulhammer | 2007-09-23 | 4 | -9/+86 |
| | | | | | | | USE=emacs Package-Manager: portage-2.1.3.9 | ||||
| * | Reassigning to sci from math-proof. |   Christian Heim | 2007-07-31 | 3 | -10/+23 |
| | | | | | Package-Manager: portage-2.1.3_rc9 | ||||
| * | whitespace |   Michael Sterrett | 2007-07-13 | 1 | -14/+4 |
| | | | | | Package-Manager: portage-2.1.2.9 | ||||
| * | whitespace | Michael Sterrett | 2007-07-13 | 1 | -2/+1 |
| | | | | | Package-Manager: portage-2.1.2.9 | ||||
| * | Added haskell herd and removed myself as maintainer. |   Alexandre Buisse | 2007-03-25 | 3 | -16/+16 |
| | | | | | Package-Manager: portage-2.1.2.2 | ||||
| * | Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is ↵ | Alexandre Buisse | 2007-03-18 | 5 | -38/+44 |
| | | | | | | | stable enough. Package-Manager: portage-2.1.2.1 | ||||
| * | Initial commit | Alexandre Buisse | 2006-07-12 | 7 | -0/+142 |
| Package-Manager: portage-2.1.1_pre2-r6 | |||||
GitWeb