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

Log of /sci-mathematics/agda-stdlib/Manifest

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.11 - (view) (download) (annotate) - [select for diffs]
Sun Aug 2 13:56:01 2015 UTC (11 months, 3 weeks ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.10: +6 -4 lines
Diff to previous 1.10
Bump agda-stdlib to 2.4.2.3

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


Revision 1.10 - (view) (download) (annotate) - [select for diffs]
Sun Aug 2 10:49:33 2015 UTC (11 months, 3 weeks ago) by slyfox
Branch: MAIN
Changes since 1.9: +6 -21 lines
Diff to previous 1.9
Drop old.

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


Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Mon Jun 15 19:01:11 2015 UTC (13 months, 1 week ago) by jlec
Branch: MAIN
Changes since 1.8: +23 -1 lines
Diff to previous 1.8
Updating remote-id in metadata.xml

(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key E9402A79B03529A2!)


Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Fri Jan 30 03:05:10 2015 UTC (17 months, 3 weeks ago) by patrick
Branch: MAIN
Changes since 1.7: +1 -13 lines
Diff to previous 1.7
Remove old version with unsatisfied dependencies

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


Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Sun Dec 14 10:47:01 2014 UTC (19 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.6: +7 -5 lines
Diff to previous 1.6
Bump agda-stdlib to 0.9

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


Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Wed Jul 2 15:24:45 2014 UTC (2 years ago) by gienah
Branch: MAIN
Changes since 1.5: +7 -5 lines
Diff to previous 1.5
Bump agda-stdlib to 0.8

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


Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Tue Dec 10 11:46:39 2013 UTC (2 years, 7 months ago) by gienah
Branch: MAIN
Changes since 1.4: +6 -9 lines
Diff to previous 1.4
Thanks to vikraman: The agda-lib-ffi package provides some additional haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild.

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


Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Fri Sep 13 06:56:55 2013 UTC (2 years, 10 months ago) by gienah
Branch: MAIN
Changes since 1.3: +7 -5 lines
Diff to previous 1.3
Bump agda-stdlib to 0.7

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


Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Thu Jan 10 12:31:38 2013 UTC (3 years, 6 months ago) by gienah
Branch: MAIN
Changes since 1.2: +8 -6 lines
Diff to previous 1.2
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps

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


Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Sun Nov 18 07:53:11 2012 UTC (3 years, 8 months ago) by gienah
Branch: MAIN
Changes since 1.1: +11 -9 lines
Diff to previous 1.1
Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118 because I have to call it something, for agda 2.3.2.

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


Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 14:02:39 2012 UTC (4 years, 3 months ago) by gienah
Branch: MAIN
Thanks to tomprince for adding support for agda-stdlib.

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


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