/[gentoo-x86]/sci-mathematics/isabelle
Gentoo

Index of /sci-mathematics/isabelle

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/isabelle

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/isabelle

More Information: http://anoncvs.gentoo.org/

Files shown:13 (Hide 5 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.14  5 weeks  gienah  Slot scala (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit wi…
Manifest  1.15  5 weeks  gienah  Slot scala (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit wi…
isabelle-2011.1-r1.ebuild (dead)  1.5  16 months  tomwij  [QA] Change !use by ! use such that it negates the USE flag instead of expanding…
isabelle-2011.1-r2.ebuild  1.2  2 months  gienah  Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabelle20…
isabelle-2011.1.ebuild  1.3  3 years  gienah  Fix bug #400961, thanks to Mr. Anderson for report and fix. (Portage version: 2…
isabelle-2012-r1.ebuild  1.2  2 months  gienah  Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabelle20…
isabelle-2012.ebuild (dead)  1.6  16 months  tomwij  [QA] Change !use by ! use such that it negates the USE flag instead of expanding…
isabelle-2013-r1.ebuild (dead)  1.4  5 weeks  gienah  Slot scala (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit wi…
isabelle-2013-r2.ebuild  1.1  5 weeks  gienah  Slot scala (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit wi…
isabelle-2013.2-r1.ebuild  1.1  5 weeks  gienah  Slot scala (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit wi…
isabelle-2013.2.ebuild (dead)  1.3  5 weeks  gienah  Slot scala (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit wi…
isabelle-2013.ebuild (dead)  1.3  16 months  tomwij  [QA] Change !use by ! use such that it negates the USE flag instead of expanding…
metadata.xml  1.4  2 years  jer  Fix XML. (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest com…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20