/[gentoo-x86]/sci-mathematics/agda/agda-1.0.2-r2.ebuild
Gentoo

Log of /sci-mathematics/agda/agda-1.0.2-r2.ebuild

Parent Directory Parent Directory | Revision Log Revision Log

Links to HEAD: (view) (download) (annotate)
Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Tue Sep 14 19:53:51 2010 UTC (2 years, 9 months ago) by bicatali
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +13 -20 lines
Diff to previous 1.1 
Version bump, ebuild originally from markusle (bug #303973). Also forced emacs on dependencies (thanks to ulm, bug #336741)

(Portage version: 2.2_rc81/cvs/Linux x86_64)
Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Fri Dec 5 16:58:17 2008 UTC (4 years, 6 months ago) by bicatali
Branch: MAIN 
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)

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