/[gentoo-x86]/sci-mathematics/agda/Manifest
Gentoo

Log of /sci-mathematics/agda/Manifest

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (download) (annotate)

Revision 1.30 - (view) (download) (annotate) - [select for diffs]
Wed Jul 2 15:25:46 2014 UTC (2 weeks, 6 days ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.29: +6 -4 lines
Diff to previous 1.29
Bump agda to 2.4.0.1

(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.29 - (view) (download) (annotate) - [select for diffs]
Tue Feb 25 15:41:08 2014 UTC (4 months, 3 weeks ago) by slyfox
Branch: MAIN
Changes since 1.28: +5 -12 lines
Diff to previous 1.28
Drop old.

(Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)


Revision 1.28 - (view) (download) (annotate) - [select for diffs]
Tue Dec 10 11:25:27 2013 UTC (7 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.27: +6 -4 lines
Diff to previous 1.27
Bump agda to 2.3.2.2-r1

(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.27 - (view) (download) (annotate) - [select for diffs]
Sat Oct 19 11:07:52 2013 UTC (9 months ago) by gienah
Branch: MAIN
Changes since 1.26: +6 -6 lines
Diff to previous 1.26
Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND.

(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.26 - (view) (download) (annotate) - [select for diffs]
Fri Sep 13 06:58:33 2013 UTC (10 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.25: +7 -4 lines
Diff to previous 1.25
Patch agda 2.3.2.1 for haskell-src-exts 1.14

(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.25 - (view) (download) (annotate) - [select for diffs]
Wed Jun 19 06:42:00 2013 UTC (13 months ago) by slyfox
Branch: MAIN
Changes since 1.24: +7 -9 lines
Diff to previous 1.24
Drop old.

(Portage version: 2.2.0_alpha177_p3/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)


Revision 1.24 - (view) (download) (annotate) - [select for diffs]
Tue Apr 2 07:23:31 2013 UTC (15 months, 3 weeks ago) by gienah
Branch: MAIN
Changes since 1.23: +5 -4 lines
Diff to previous 1.23
Loosen hashtables and quickcheck deps in agda 2.3.2-r5

(Portage version: 2.2.0_alpha171/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.23 - (view) (download) (annotate) - [select for diffs]
Fri Dec 28 05:47:46 2012 UTC (18 months, 3 weeks ago) by gienah
Branch: MAIN
Changes since 1.22: +6 -4 lines
Diff to previous 1.22
Loosen binary dep, patch for hashable 1.2

(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.22 - (view) (download) (annotate) - [select for diffs]
Sun Nov 18 07:48:41 2012 UTC (20 months ago) by gienah
Branch: MAIN
Changes since 1.21: +6 -4 lines
Diff to previous 1.21
Bump agda to 2.3.2

(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.21 - (view) (download) (annotate) - [select for diffs]
Sun Nov 18 07:02:01 2012 UTC (20 months ago) by gienah
Branch: MAIN
Changes since 1.20: +14 -2 lines
Diff to previous 1.20
Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickcheck 2.5

(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.20 - (view) (download) (annotate) - [select for diffs]
Wed Sep 12 16:10:33 2012 UTC (22 months, 1 week ago) by qnikst
Branch: MAIN
Changes since 1.19: +19 -29 lines
Diff to previous 1.19
move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage

(Portage version: 2.2.0_alpha125/cvs/Linux x86_64, unsigned Manifest commit)


Revision 1.19 - (view) (download) (annotate) - [select for diffs]
Sat Jun 2 09:21:37 2012 UTC (2 years, 1 month ago) by gienah
Branch: MAIN
Changes since 1.18: +6 -6 lines
Diff to previous 1.18
Add virtual/emacs and app-emacs/haskell-mode deps

(Portage version: 2.1.10.64/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.18 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 14:58:59 2012 UTC (2 years, 3 months ago) by gienah
Branch: MAIN
Changes since 1.17: +13 -3 lines
Diff to previous 1.17
agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps

(Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.17 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 10:57:24 2012 UTC (2 years, 3 months ago) by gienah
Branch: MAIN
Changes since 1.16: +3 -12 lines
Diff to previous 1.16
Fix agda 2.3.0.1 build with mtl-2.1

(Portage version: 2.1.10.56/cvs/Linux x86_64, unsigned Manifest commit)


Revision 1.16 - (view) (download) (annotate) - [select for diffs]
Sun Apr 1 02:18:35 2012 UTC (2 years, 3 months ago) by gienah
Branch: MAIN
Changes since 1.15: +6 -5 lines
Diff to previous 1.15
Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0

(Portage version: 2.1.10.52/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.15 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 13:57:32 2012 UTC (2 years, 3 months ago) by gienah
Branch: MAIN
Changes since 1.14: +9 -6 lines
Diff to previous 1.14
Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4, [profile?] for haskell lib depends.

(Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.14 - (view) (download) (annotate) - [select for diffs]
Mon Jan 23 13:52:59 2012 UTC (2 years, 5 months ago) by gienah
Branch: MAIN
Changes since 1.13: +10 -7 lines
Diff to previous 1.13
Bump agda to 2.3.0 bug #349460

(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.13 - (view) (download) (annotate) - [select for diffs]
Sat Nov 20 13:45:24 2010 UTC (3 years, 8 months ago) by kolmodin
Branch: MAIN
Changes since 1.12: +5 -5 lines
Diff to previous 1.12
Make sure the agda library gets registered with ghc.
(Portage version: 2.1.8.3/cvs/Linux x86_64)
 (Signed Manifest commit)


Revision 1.12 - (view) (download) (annotate) - [select for diffs]
Tue Sep 14 19:54:04 2010 UTC (3 years, 10 months ago) by bicatali
Branch: MAIN
Changes since 1.11: +10 -6 lines
Diff to previous 1.11
Version bump, ebuild originally from markusle (bug #303973). Also forced emacs on dependencies (thanks to ulm, bug #336741)

(Portage version: 2.2_rc81/cvs/Linux x86_64, signed Manifest commit)


Revision 1.11 - (view) (download) (annotate) - [select for diffs]
Fri Dec 5 16:58:30 2008 UTC (5 years, 7 months ago) by bicatali
Branch: MAIN
Changes since 1.10: +13 -4 lines
Diff to previous 1.10
Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since parallel building seems to work again.
(Portage version: 2.2_rc16/cvs/Linux 2.6.25-gentoo-r7 x86_64)
 (Signed Manifest commit)


Revision 1.10 - (view) (download) (annotate) - [select for diffs]
Sat Jul 26 11:37:48 2008 UTC (5 years, 11 months ago) by markusle
Branch: MAIN
Changes since 1.9: +4 -3 lines
Diff to previous 1.9
Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag for now since installation of html docs is broken.
(Portage version: 2.2_rc3/cvs/Linux 2.6.25-SENTINEL-5 i686)
 (Unsigned Manifest commit)


Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Thu Jan 31 12:36:59 2008 UTC (6 years, 5 months ago) by robbat2
Branch: MAIN
Changes since 1.8: +0 -34 lines
Diff to previous 1.8
Remove all old-style digests from the system and regen the Manifest files.


Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Wed Oct 31 13:28:31 2007 UTC (6 years, 8 months ago) by dcoutts
Branch: MAIN
Changes since 1.7: +15 -15 lines
Diff to previous 1.7
Drop virtual/ghc in favour of dev-lang/ghc
(Portage version: 2.1.3.16)
 (Signed Manifest commit)


Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Sun Sep 23 12:12:22 2007 UTC (6 years, 10 months ago) by opfer
Branch: MAIN
Changes since 1.6: +15 -8 lines
Diff to previous 1.6
add elisp-site-regen to postrm and canonicalise it in postinst; depending on USE=emacs
(Portage version: 2.1.3.9)
 (Signed Manifest commit)


Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Tue Jul 31 21:55:49 2007 UTC (6 years, 11 months ago) by phreak
Branch: MAIN
Changes since 1.5: +18 -8 lines
Diff to previous 1.5
Reassigning to sci from math-proof.
(Portage version: 2.1.3_rc9)
 (Signed Manifest commit)


Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Fri Jul 13 05:28:28 2007 UTC (7 years ago) by mr_bones_
Branch: MAIN
Changes since 1.4: +4 -14 lines
Diff to previous 1.4
whitespace
(Portage version: 2.1.2.9)
 (Unsigned Manifest commit)


Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 09:46:39 2007 UTC (7 years, 4 months ago) by nattfodd
Branch: MAIN
Changes since 1.3: +11 -11 lines
Diff to previous 1.3
Added haskell herd and removed myself as maintainer.
(Portage version: 2.1.2.2)
 (Signed Manifest commit)


Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Sun Mar 18 19:00:32 2007 UTC (7 years, 4 months ago) by nattfodd
Branch: MAIN
Changes since 1.2: +16 -16 lines
Diff to previous 1.2
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.
(Portage version: 2.1.2.1)
 (Signed Manifest commit)


Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Wed Jul 12 13:21:54 2006 UTC (8 years ago) by nattfodd
Branch: MAIN
Changes since 1.1: +18 -8 lines
Diff to previous 1.1
Initial commit
(Portage version: 2.1.1_pre2-r6)
 (Signed Manifest commit)


Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Wed Jul 12 13:21:35 2006 UTC (8 years ago) by nattfodd
Branch: MAIN
Initial commit
(Portage version: 2.1.1_pre2-r6)


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20