Log of /sci-mathematics/agda/agda-2.3.2.ebuild

Parent Directory Parent Directory | Revision Log Revision Log

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

Revision 1.2
Thu Jan 29 03:38:57 2015 UTC (8 months, 1 week ago) by patrick
Branch: MAIN
Changes since 1.1: +1 -1 lines
Drop old with now unsatisfied dep on dev-haskell/hashtables

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

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Sun Nov 18 07:48:34 2012 UTC (2 years, 10 months ago) by gienah
Branch: MAIN
Bump agda to 2.3.2

(Portage version: 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