/[gentoo-x86]/sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild
Gentoo

Log of /sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.3
Fri Jan 30 03:04:58 2015 UTC (4 weeks ago) by patrick
Branch: MAIN
CVS Tags: HEAD
Changes since 1.2: +1 -1 lines
FILE REMOVED
Remove old version with unsatisfied dependencies

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


Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Thu Jan 10 12:31:25 2013 UTC (2 years, 1 month ago) by gienah
Branch: MAIN
Changes since 1.1: +3 -2 lines
Diff to previous 1.1
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.1 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 14:02:15 2012 UTC (2 years, 11 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)


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