about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2015-12-21coqPackages_8_5.coq: 8.5b2 -> 8.5rc1John Wiegley1-4/+4
2015-12-20fritzing: Qt 5 infrastructure updateThomas Tuegel1-2/+2
2015-12-17Merge pull request #11075 from mogorman/pcbArseniy Seroka1-0/+23
2015-12-16pcb: init at 20140316Matthew O'Gorman1-0/+23
2015-12-16Merge pull request #11074 from mogorman/gerbvPascal Wittmann1-0/+24
2015-12-15gerbv: init at git-2015-10-07Matthew O'Gorman1-0/+24
2015-12-14Merge pull request #11073 from mogorman/geda_fixPascal Wittmann1-2/+2
2015-12-14geda: refdes_renum called /usr/bin/perlMatthew O'Gorman1-2/+2
2015-12-11R: 3.2.2 -> 3.2.3Michel Kuhlmann2-28/+3
2015-12-08eagle: 6.6.0 -> 7.5.0Bjørn Forsman1-6/+17
2015-12-01python spyder: 2.3.7 -> 2.3.8Frederik Rietdijk1-2/+2
2015-12-01why3: 0.86.1 -> 0.86.2Vincent Laporte1-4/+4
2015-11-30mathematica package patchPhase does not like set -eAristid Breitkreuz1-0/+2
2015-11-27Merge pull request #11302 from fkz/sadArseniy Seroka2-0/+233
2015-11-27system for automated deduction: init at 2.3-25Fabian Schmitthenner2-0/+233
2015-11-26Merge branch 'buildPythonPackage+wheels'Domen Kožar1-14/+7
2015-11-25Revert "coq: 8.5b2 -> 8.5b3"John Wiegley1-3/+3
2015-11-25R: add curl for https supportNikolay Amiantov1-2/+2
2015-11-24gap: reimplement using mkDerivationJoachim Fasting1-42/+24
2015-11-24spass: reimplement using mkDerivationJoachim Fasting1-40/+18
2015-11-24opensmt: reimplement using mkDerivationJoachim Fasting1-39/+17
2015-11-24iprover: reimplement using mkDerivationJoachim Fasting1-41/+19
2015-11-24cvc3: reimplement using mkDerivationJoachim Fasting1-39/+18
2015-11-24singular: reimplement using mkDerivationJoachim Fasting1-43/+22
2015-11-24drgeo: reimplement using mkDerivationJoachim Fasting1-12/+11
2015-11-21buildPythonPackage: fix more wheels failuresDomen Kožar1-14/+7
2015-11-19coq: 8.5b2 -> 8.5b3Russell O'Connor1-3/+3
2015-11-17Replace 'with plaforms; platform' with 'platforms.platform'Pascal Wittmann1-1/+1
2015-11-03Update HOL Light to version 2015-11-02Marco Maggesi1-8/+8
2015-10-02R: advance to version 3.2.2.Karn Kallio2-3/+28
2015-09-30Merge pull request #9917 from FlorentBecker/sagePeter Simons4-8/+63
2015-09-23hol_light: add support for camlp5 > 6.12Vincent Laporte2-0/+15
2015-09-23Merge: xlibs and x11 attribute cleanupVladimír Čunát4-13/+9
2015-09-22sage: 6.1.1 -> 6.8Florent Becker4-8/+63
2015-09-21metis-prover: init at 2.3Gabriel Ebner1-0/+29
2015-09-19perseus: init at 4-betaErik Rybakken1-0/+38
2015-09-15Merge commit 'a6f6c0e' into master.upstreamWilliam A. Kennington III4-6/+6
2015-09-15xlibs: replace occurrences by xorgVladimír Čunát3-6/+6
2015-09-15x11: replace its usage by xlibsWrapper directlyVladimír Čunát1-7/+3
2015-09-14all-packages: Use callPackage where possibleMathnerd3142-10/+10
2015-09-13HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi1-2/+2
2015-09-10coq: Add csdp dependencyRussell O'Connor4-4/+36
2015-09-10csdp: init at 6.1.1Russell O'Connor1-0/+27
2015-09-09Merge pull request #9752 from FRidh/maintainerDomen Kožar1-1/+1
2015-09-09add myself as maintainerFrederik Rietdijk1-1/+1
2015-09-09nixpkgs/jonprl: minor touchupsAustin Seipp1-3/+3
2015-09-09JonPRL: init at 0.1.0Brian McKenna1-0/+34
2015-09-06mass rewrite of find parameters to cross-platform styleVladimír Čunát4-6/+6
2015-09-01Update HOL Light to svn r244.Marco Maggesi1-2/+2
2015-09-01Mark some packages with undownloadable source as brokenEelco Dolstra1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-03 09:18:21 +0000