about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2018-07-22Merge pull request #43899 from r-ryantm/auto-update/tla-toolboxFrederik Rietdijk1-2/+2
2018-07-22Merge pull request #43913 from r-ryantm/auto-update/picard-toolsFrederik Rietdijk1-2/+2
2018-07-22Merge pull request #43940 from r-ryantm/auto-update/gtkwaveFrederik Rietdijk1-2/+2
2018-07-21gtkwave: 3.3.91 -> 3.3.92R. RyanTM1-2/+2
2018-07-21why3: 0.88.3 -> 1.0.0Ricardo M. Correia1-4/+4
2018-07-21picard-tools: 2.18.9 -> 2.18.10R. RyanTM1-2/+2
2018-07-21tlaplusToolbox: 1.5.6 -> 1.5.7R. RyanTM1-2/+2
2018-07-21Merge branch 'master' into unused5Jörg Thalheim2-3/+2
2018-07-21pkgs/*: remove unreferenced function argumentsvolth45-68/+45
2018-07-20[bot] treewide: remove unused 'inherit' in let blocksvolth2-3/+2
2018-07-20Merge pull request #43857 from volth/unusedFrederik Rietdijk4-23/+1
2018-07-20[bot]: remove unreferenced codevolth4-23/+1
2018-07-19Merge pull request #43538 from timokau/fetchpatch-fixMatthew Bauer2-15/+6
2018-07-18treewide: remove aliases in nixpkgsMatthew Bauer2-5/+6
2018-07-18Merge pull request #43679 from timokau/ntl-11.2.1Michael Raskin1-8/+21
2018-07-18nasc: 0.4.6 → 0.4.7Jan Tojnar1-18/+16
2018-07-18ntl: 9.11.0 -> 11.2.1Timo Kaufmann1-8/+21
2018-07-16fetchpatch: add option to revert a patchTimo Kaufmann2-15/+6
2018-07-16clp: cleanup expressionJan Malakhovski1-17/+15
2018-07-16cvc4: fix homepage urlGabriel Ebner1-1/+1
2018-07-16bliss: fix header location (#43170)fragamus1-2/+2
2018-07-15Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgsShea Levy1-0/+48
2018-07-15eclib: 20171219 -> 20180710Timo Kaufmann2-0/+43
2018-07-14gurobi: init at 8.0.1Johannes Frankenau1-0/+48
2018-07-14z3: fix darwin build (#43526)Mario Rodas1-3/+1
2018-07-14octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) (#43484)markuskowa1-4/+6
2018-07-14pythonPackages.cypari2: 1.1.4 -> 1.2.1 (#43496)Timo Kaufmann1-0/+6
2018-07-13Merge pull request #43436 from timokau/sage-new-flaskFrederik Rietdijk2-10/+8
2018-07-13Merge pull request #43471 from r-ryantm/auto-update/igvFrederik Rietdijk1-2/+2
2018-07-13Merge pull request #43472 from r-ryantm/auto-update/gollyMichael Raskin1-2/+2
2018-07-13Merge pull request #43445 from dtzWill/fix/yices-symlinkWill Dietz1-2/+4
2018-07-13golly: 3.1 -> 3.2R. RyanTM1-2/+2
2018-07-13igv: 2.4.11 -> 2.4.13R. RyanTM1-2/+2
2018-07-12abc-verifier: 20160818 -> 2018-07-08Will Dietz1-10/+11
2018-07-12yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz1-1/+1
2018-07-12yices: simplify ln commandWill Dietz1-1/+1
2018-07-12yices: fix symlink to match version of packageWill Dietz1-2/+4
2018-07-12libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz1-10/+13
2018-07-12sage: replace flask-babel version pin by patchTimo Kaufmann2-10/+8
2018-07-12z3: move to multiple output packagesAustin Seipp1-0/+14
2018-07-12jmol: 14.29.12 -> 14.29.17 (#43429)Timo Kaufmann1-5/+6
2018-07-11Merge pull request #43333 from r-ryantm/auto-update/libpolyFrederik Rietdijk1-2/+2
2018-07-11yices: 2.5.4 -> 2.6.0R. RyanTM1-2/+2
2018-07-11libpoly: 0.1.4 -> 0.1.5R. RyanTM1-2/+2
2018-07-11qalculate-gtk: 2.6.0 -> 2.6.1R. RyanTM1-2/+2
2018-07-09fricas: 1.3.3 -> 1.3.4 (#43023)R. RyanTM1-2/+2
2018-07-09igv: 2.4.10 -> 2.4.11 (#43003)R. RyanTM1-2/+2
2018-07-09Merge pull request #43096 from jbedo/mosdepthSilvan Mosberger1-0/+42
2018-07-08monosat: update build to use handy new environment variableDan Peebles1-2/+5
2018-07-08monosat: cbaf79cf -> 2deeadefDan Peebles1-11/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 02:37:01 +0000