about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2016-11-14Merge #20264: root: fix environment setupVladimír Čunát3-1/+19
2016-11-14plink-ng: init at 1.90b3Justin Bedo1-0/+34
2016-11-13coq: Improve emacs buffer handlingShea Levy1-3/+3
2016-11-10nixpkgs: proverif 1.94 -> 1.95Austin Seipp1-2/+2
2016-11-09Merge pull request #20267 from jbedo/masterFrederik Rietdijk1-1/+1
2016-11-08z3: 4.4.1 -> 4.5.0Gabriel Ebner1-17/+5
2016-11-09Fix bcftools installation prefixJustin Bedo1-1/+1
2016-11-03Remove pal2nalTim Steinbach1-31/+0
2016-11-03paml: 4.2a -> 4.9cTim Steinbach1-5/+5
2016-11-02coq-8.5: ease the selection of an older (patch level) versionVincent Laporte1-3/+14
2016-11-02coq: build and install the votour utilityVincent Laporte1-1/+5
2016-11-02coq: 8.5pl2 -> 8.5pl3Vincent Laporte1-3/+3
2016-10-31Merge pull request #19902 from dtzWill/update/yicesvbgl1-7/+14
2016-10-30yices: Add darwin to meta.platformsWill Dietz1-4/+4
2016-10-29root: fix environment setupDmitry Kalinkin3-1/+19
2016-10-27pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable".Ertugrul Söylemez1-4/+4
2016-10-27pari_alpha: fix source linkMichael Raskin1-1/+1
2016-10-26yices: Build in parallel, run tests, fix test shebang.Will Dietz1-0/+5
2016-10-26yices: fix install target by using 'true' as ldconfigWill Dietz1-0/+2
2016-10-26yices: 2.3.1 -> 2.5.1Will Dietz1-3/+3
2016-10-26Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk8-22/+175
2016-10-26maxima: support building with ECL; optionally support building maxima.fas whe...Michael Raskin1-6/+17
2016-10-26singular: Wrap executables instead of symlinkingMichael Raskin1-1/+5
2016-10-26singular: add an option to install as libsingularMichael Raskin1-7/+19
2016-10-26pari_alpha: use perl to generate function descriptionsMichael Raskin1-1/+2
2016-10-26singular: 3-1-2 -> 3-1-7Michael Raskin1-9/+6
2016-10-26R: 3.2.3 -> 3.2.4Michael Raskin1-2/+2
2016-10-26nauty: init at 26r7Michael Raskin1-0/+24
2016-10-26gfan: init at 0.5Michael Raskin1-0/+24
2016-10-26pari_alpha: init at 2.8.0.alpha: planning to use for SageMichael Raskin1-0/+30
2016-10-26symmetrica: init at 2.0Michael Raskin1-0/+29
2016-10-26ratpoints: init at 2.1.3Michael Raskin1-0/+21
2016-10-22Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk4-5/+68
2016-10-22treewide: fix meta evaluationVladimír Čunát2-2/+2
2016-10-21Merge pull request #19666 from veprbl/hep_for_upstreamJörg Thalheim3-2/+54
2016-10-21root: s/python/python2/Dmitry Kalinkin1-2/+2
2016-10-21root: add veprbl to maintainersDmitry Kalinkin1-0/+1
2016-10-21add veprbl to maintainersDmitry Kalinkin1-0/+1
2016-10-20yarp: 2.3.65 -> 2.3.66.1=1-3/+14
2016-10-19sacrifice: init at 1.0.0Dmitry Kalinkin2-0/+50
2016-10-18z3: use python2Frederik Rietdijk2-14/+18
2016-10-07nix-buffer support improvements.Shea Levy1-2/+18
2016-10-05treewide: use ocaml.version (#19192)Kirill Boltaev3-8/+0
2016-10-01Remove redundant -DCMAKE_BUILD_TYPE=Release flagsAneesh Agrawal2-6/+3
2016-09-29redprl: remove explicit builderBrian McKenna1-5/+4
2016-09-27redprl: patch install script shebangsAnthony Cowley1-0/+3
2016-09-27Merge pull request #19004 from nico202/fix-gazebo-cmakeJoachim F1-1/+3
2016-09-27gazebo7: Fix gazebo-config.cmake output file=1-1/+3
2016-09-26scilab: mark as brokenKirill Boltaev1-0/+1
2016-09-26glsurf: mark as brokenKirill Boltaev1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-10-27 04:35:27 +0000