Log of /sci-mathematics/agda/metadata.xml

Parent Directory Parent Directory | Revision Log Revision Log

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

Revision 1.7 - (view) (download) (as text) (annotate) - [select for diffs]
Sun Dec 14 10:24:58 2014 UTC (7 months, 2 weeks ago) by gienah
Branch: MAIN
Changes since 1.6: +1 -0 lines
Diff to previous 1.6
Bump agda to

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

Revision 1.6 - (view) (download) (as text) (annotate) - [select for diffs]
Sun Mar 25 13:55:19 2012 UTC (3 years, 4 months ago) by gienah
Branch: MAIN
Changes since 1.5: +1 -0 lines
Diff to previous 1.5
Thanks to tomprince for adding support for agda-stdlib. Bump to, EAPI=4, [profile?] for haskell lib depends.

(Portage version: x86_64)

Revision 1.5 - (view) (download) (as text) (annotate) - [select for diffs]
Mon Jan 23 13:52:38 2012 UTC (3 years, 6 months ago) by gienah
Branch: MAIN
Changes since 1.4: +3 -0 lines
Diff to previous 1.4
Bump agda to 2.3.0 bug #349460

(Portage version: x86_64)

Revision 1.4 - (view) (download) (as text) (annotate) - [select for diffs]
Fri Dec 5 16:58:17 2008 UTC (6 years, 7 months ago) by bicatali
Branch: MAIN
Changes since 1.3: +8 -2 lines
Diff to previous 1.3
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)

Revision 1.3 - (view) (download) (as text) (annotate) - [select for diffs]
Tue Jul 31 21:55:39 2007 UTC (8 years ago) by phreak
Branch: MAIN
Changes since 1.2: +1 -1 lines
Diff to previous 1.2
Reassigning to sci from math-proof.
(Portage version: 2.1.3_rc9)

Revision 1.2 - (view) (download) (as text) (annotate) - [select for diffs]
Sun Mar 25 09:46:21 2007 UTC (8 years, 4 months ago) by nattfodd
Branch: MAIN
Changes since 1.1: +1 -4 lines
Diff to previous 1.1
Added haskell herd and removed myself as maintainer.
(Portage version:

Revision 1.1 - (view) (download) (as text) (annotate) - [select for diffs]
Wed Jul 12 13:21:35 2006 UTC (9 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