projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa41fa7) | patch
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995
authorMark Wright <gienah@gentoo.org>
Sun, 8 Jan 2012 12:35:43 +0000 (12:35 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 8 Jan 2012 12:35:43 +0000 (12:35 +0000)
commit06ca475a202d54af1732d75fb1ade08561e70a47
treeea26904415215c99eaa4abfbc4f1cef97a19848btree | snapshot
parentaa41fa7309846a1a3bd01f637734ecdd6987cf1bcommit | diff
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995

Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
sci-mathematics/isabelle/ChangeLog [new file with mode: 0644] blob
sci-mathematics/isabelle/Manifest [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/isabelle-2011.1.ebuild [new file with mode: 0644] blob
sci-mathematics/isabelle/metadata.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.