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
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-101-17/+12
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-103-102/+19
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Add twelf, ebuild by meMark Wright2012-12-091-0/+20
| | | | (Portage version: 2.1.11.34/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add twelf, ebuild by meMark Wright2012-12-099-0/+240
| | | | (Portage version: 2.1.11.34/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-091-5/+7
| | | | | | functionality, like using Simpl/Vcg. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-094-4/+32
| | | | | | functionality, like using Simpl/Vcg. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* add ~arm, bug #440908Markus Meier2012-12-081-4/+14
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* add ~arm, bug #440908Markus Meier2012-12-082-3/+6
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-081-0/+14
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-083-0/+101
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-061-4/+14
| | | | (Portage version: 2.2.01.21313-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-063-9/+19
| | | | (Portage version: 2.2.01.21313-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-051-1/+12
| | | | | | checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-054-0/+140
| | | | | | checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-051-1/+12
| | | | | | sci-mathematics/isabelle nitpick couter-example checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-054-0/+133
| | | | | | sci-mathematics/isabelle nitpick couter-example checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is ↵Mark Wright2012-12-051-5/+5
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is ↵Mark Wright2012-12-052-9/+13
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-051-6/+6
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-053-23/+21
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-051-5/+5
| | | | | | 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. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-052-16/+22
| | | | | | 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. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-051-6/+6
| | | | | | updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-053-11/+48
| | | | | | updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-041-5/+5
| | | | (Portage version: 2.2.0_alpha144/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-042-3/+7
| | | | (Portage version: 2.2.0_alpha144/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-031-9/+15
| | | | (Portage version: 2.2.0_alpha142/cvs/Linux x86_64, signed Manifest commit with key F8551514)
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-032-3/+6
| | | | (Portage version: 2.2.0_alpha142/cvs/Linux x86_64, signed Manifest commit with key F8551514)
* marked x86 per bug 444058Thomas Kahle2012-12-011-2/+12
| | | | (Portage version: 2.1.11.32/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* marked x86 per bug 444058Thomas Kahle2012-12-012-3/+6
| | | | (Portage version: 2.1.11.32/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Version bumpAndrey Grozin2012-11-301-4/+4
| | | | (Portage version: 2.2.0_alpha142/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-11-303-17/+19
| | | | (Portage version: 2.2.0_alpha142/cvs/Linux i686, unsigned Manifest commit)
* Reducing output verbosity some morePatrick Lauer2012-11-301-2/+4
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Reducing output verbosity some morePatrick Lauer2012-11-304-2/+97
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing patch: logfile pathPatrick Lauer2012-11-301-2/+2
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing patch: logfile pathPatrick Lauer2012-11-302-12/+4
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Fix displayed versioningPatrick Lauer2012-11-301-5/+4
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Fix displayed versioningPatrick Lauer2012-11-307-152/+40
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Correctify displayed version numberPatrick Lauer2012-11-301-2/+2
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Correctify displayed version numberPatrick Lauer2012-11-302-2/+6
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Version bumpSebastien Fabbro2012-11-301-14/+11
| | | | (Portage version: 2.2.01.21313-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-11-303-138/+20
| | | | (Portage version: 2.2.01.21313-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Initial import, ebuild by mePatrick Lauer2012-11-301-1/+2
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Initial import, ebuild by mePatrick Lauer2012-11-305-0/+120
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Adding another default parameter list filePatrick Lauer2012-11-301-2/+3
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Adding another default parameter list filePatrick Lauer2012-11-302-5/+11
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Adding default parameter list filePatrick Lauer2012-11-301-2/+3
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Adding default parameter list filePatrick Lauer2012-11-302-3/+13
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: ↵Mark Wright2012-11-291-9/+9
| | | | | | //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D} (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: ↵Mark Wright2012-11-292-6/+9
| | | | | | //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D} (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)