Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
...
* BumpPatrick Lauer2013-02-026-38/+300
| | | | Package-Manager: portage-2.2.0_alpha161/cvs/Linux x86_64
* move media-fonts/freefont-ttf into media-fonts/freefontAgostino Sarubbo2013-02-013-7/+10
| | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
* Adding blocker for #453044Patrick Lauer2013-01-233-4/+8
| | | | Package-Manager: portage-2.2.0_alpha159/cvs/Linux x86_64
* Fix invalid metadata.Diego Elio Pettenò2013-01-203-8/+15
| | | | | Package-Manager: portage-2.2.0_alpha154/cvs/Linux x86_64 Manifest-Sign-Key: 0x1CD13C8AD4301342
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-154-6/+81
| | | | | Package-Manager: portage-2.1.11.41/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* fix build with camlp4, bug #450954Alexis Ballier2013-01-154-7/+33
| | | | | Package-Manager: portage-2.2.0_alpha153/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-154-126/+15
| | | | | Package-Manager: portage-2.2.01.21580-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Initial import, ebuild by mePatrick Lauer2013-01-133-1/+40
| | | | Package-Manager: portage-2.2.0_alpha151/cvs/Linux x86_64
* Initial import, ebuild by mePatrick Lauer2013-01-132-0/+12
| | | | Package-Manager: portage-2.2.0_alpha151/cvs/Linux x86_64
* Forgot transfig dependencySebastien Fabbro2013-01-113-8/+14
| | | | | Package-Manager: portage-2.2.01.21476-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-113-23/+26
| | | | | Package-Manager: portage-2.2.01.21476-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with ↵Mark Wright2013-01-105-12/+83
| | | | | | | --preserve-timestamps Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-086-103/+27
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-073-7/+91
| | | | | | | so that patch is not applied to coq-8.4_p1. Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-063-4/+10
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Fixing ggnfs default pathsPatrick Lauer2013-01-064-50/+14
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Fixing linking issue with newer msievePatrick Lauer2013-01-063-6/+9
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Add live ebuildPatrick Lauer2013-01-063-3/+67
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Adding live ebuildPatrick Lauer2013-01-063-2/+63
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-063-7/+11
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Marked ~hppa too.Jeroen Roovers2013-01-023-10/+13
| | | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64 Manifest-Sign-Key: 0xA792A613
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-023-6/+10
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux i686
* Add blas useflagPatrick Lauer2013-01-014-8/+16
| | | | Package-Manager: portage-2.2.0_alpha143/cvs/Linux x86_64
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-015-50/+81
| | | | Package-Manager: portage-2.2.0_alpha143/cvs/Linux x86_64
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-303-24/+31
| | | | | Package-Manager: portage-2.1.11.31/cvs/Linux i686 Manifest-Sign-Key: 0x30427902
* Fix doc install per bug 449312Thomas Kahle2012-12-303-9/+14
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-284-5/+177
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Drop masked for removal packagePacho Ramos2012-12-2519-2109/+0
|
* Version bumpAndrey Grozin2012-12-243-18/+69
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux i686
* add ~armMarkus Meier2012-12-233-12/+11
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x072AD062
* Remove old.Michael Palimaka2012-12-205-111/+13
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x675D0D2C
* Version bumpAndrey Grozin2012-12-146-2/+312
| | | | Package-Manager: portage-2.2.0_alpha148/cvs/Linux i686
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-143-8/+21
| | | | | Package-Manager: portage-2.1.11.37/cvs/Linux x86_64 Manifest-Sign-Key: 0xE7BE08CA7DC6EA25
* Version bumpSebastien Fabbro2012-12-124-11/+92
| | | | | Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-123-10/+13
| | | | | | | depends on twelf. Package-Manager: portage-2.1.11.36/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-116-62/+68
| | | | | Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Removed oldSebastien Fabbro2012-12-116-146/+22
| | | | | Package-Manager: portage-2.2.0_alpha144/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-104-119/+31
| | | | | Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Add twelf, ebuild by meMark Wright2012-12-0910-0/+260
| | | | | Package-Manager: portage-2.1.11.34/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-095-9/+39
| | | | | | | functionality, like using Simpl/Vcg. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* add ~arm, bug #440908Markus Meier2012-12-083-7/+20
| | | | | Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x072AD062
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-084-0/+115
| | | | | Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-064-13/+33
| | | | | Package-Manager: portage-2.2.01.21313-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-053-1/+139
| | | | | | | checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-052-0/+13
| | | | | | | checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-053-1/+131
| | | | | | | sci-mathematics/isabelle nitpick couter-example checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-052-0/+14
| | | | | | | sci-mathematics/isabelle nitpick couter-example checking. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is ↵Mark Wright2012-12-053-14/+18
| | | | | | | updated if the isabelle use flag is enabled. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-054-29/+27
| | | | | | | updated if the isabelle use flag is enabled. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-053-21/+27
| | | | | | | that is suitable for Gentoo (it disables building the shared libraries). EAPI=5 with subslot depends to automatically rebuild cvc3 when isabelle is updated if the isabelle use flag is enabled. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F