/[gentoo-x86]/sci-mathematics/agda/agda-2.2.6-r1.ebuild
Gentoo

Log of /sci-mathematics/agda/agda-2.2.6-r1.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.2
Tue Feb 25 15:40:58 2014 UTC (6 months, 4 weeks ago) by slyfox
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +1 -1 lines
FILE REMOVED
Drop old.

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


Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Sat Nov 20 13:45:12 2010 UTC (3 years, 10 months ago) by kolmodin
Branch: MAIN
Make sure the agda library gets registered with ghc.
(Portage version: 2.1.8.3/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