about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2019-12-14z3: 4.8.5 -> 4.8.7Austin Seipp1-3/+3
2019-12-14mavproxy: init at 1.8.17Ben Wolsieffer1-0/+31
2019-12-14Merge pull request #75141 from vbgl/coq-8.11β1Vincent Laporte1-0/+1
2019-12-14root: 6.12.06 -> 6.18.04Dmitry Kalinkin2-41/+60
2019-12-13Merge pull request #75613 from timokau/brial-1.2.6Timo Kaufmann1-7/+3
2019-12-13pybrial: 1.2.3 -> 1.2.5, directly use the brial srcTimo Kaufmann1-7/+3
2019-12-12btor2tools: correct meta informationRobert Scott1-2/+2
2019-12-12boolector: add patch for CVE-2019-7560Robert Scott1-1/+9
2019-12-10Merge pull request #75416 from jbedo/bedtoolsmarkuskowa1-5/+6
2019-12-11bedtools: fix clang buildsJustin Bedo1-3/+4
2019-12-10Merge branch 'auto-update/libqalculate'Gabriel Ebner1-2/+2
2019-12-10qalculate-gtk: 3.5.0 -> 3.6.0Gabriel Ebner1-2/+2
2019-12-10bedtools: 2.29.0 -> 2.29.1Justin Bedo1-2/+2
2019-12-09snakemake: 5.7.4 -> 5.8.1 (#74637)R. RyanTM1-2/+2
2019-12-08lingeling: enable for darwinRobert Scott1-1/+1
2019-12-08aiger: enable for darwinRobert Scott1-1/+1
2019-12-08kssd: init at 1.0Renato Alves1-0/+25
2019-12-08eagle: 9.5.0 -> 9.5.1R. RyanTM1-2/+2
2019-12-08svaba: init at 1.1.0scalavision1-0/+42
2019-12-08Merge pull request #75245 from r-ryantm/auto-update/jmolmarkuskowa1-2/+2
2019-12-08jmol: 14.29.55 -> 14.30.0R. RyanTM1-2/+2
2019-12-08geogebra: 5-0-560-0 -> 5-0-569-0Maximilian Bosch1-2/+2
2019-12-07giac-with-xcas: fix buildJonathan Ringer1-4/+3
2019-12-07NetLogo: 6.0.4 -> 6.1.1Calvin Pritchard1-2/+2
2019-12-07marvin: 19.1.0 -> 19.23.0R. RyanTM1-2/+2
2019-12-07Merge pull request #75095 from tbenst/bftoolsMario Rodas1-2/+2
2019-12-07coq_8_11: init at 8.11+β1Vincent Laporte1-0/+1
2019-12-06bftools: 5.9.2 -> 6.3.0Tyler Benster1-2/+2
2019-12-05Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk1-1/+1
2019-12-04symbiyosys: add yices dependencyMatt Huszagh1-1/+3
2019-12-04gildas: 20191001_a -> 20191201_a (#73041)Sébastien Maret1-3/+3
2019-12-04Merge pull request #74945 from timokau/sage-no-timeoutTimo Kaufmann1-1/+1
2019-12-03coq_8_10: 8.10.1 → 8.10.2Vincent Laporte1-0/+1
2019-12-01paml: 4.9i -> 4.9jR. RyanTM1-3/+2
2019-12-01sage: disable test timeoutTimo Kaufmann1-1/+1
2019-12-01dconf: move to top-levelJan Tojnar1-3/+2
2019-11-30verilator: 4.020 -> 4.022R. RyanTM1-2/+2
2019-12-01gtkwave: 3.3.102 -> 3.3.103R. RyanTM1-2/+2
2019-11-30kallisto: 0.46.0 -> 0.46.1 (#74430)R. RyanTM1-2/+2
2019-11-30Merge branch 'master' into staging-nextJan Tojnar1-2/+2
2019-11-30picard-tools: 2.21.1 -> 2.21.3 (#74528)R. RyanTM1-2/+2
2019-11-30Merge master into staging-nextFrederik Rietdijk1-2/+2
2019-11-28Merge pull request #74412 from r-ryantm/auto-update/hmmerRyan Mulligan1-2/+2
2019-11-27Merge branch 'master' into staging-nextJonathan Ringer2-2/+6
2019-11-27hmmer: 3.2.1 -> 3.3R. RyanTM1-2/+2
2019-11-25Merge pull request #74092 from veprbl/pr/applgrid_fixMatthew Bauer1-1/+5
2019-11-25coq: Fix setup hookJohn Ericson1-1/+1
2019-11-24root: fix setupHook to work with "set -u"Dmitry Kalinkin1-1/+5
2019-11-24Merge staging-next into stagingFrederik Rietdijk1-3/+3
2019-11-22golly: fix buildMichael Raskin1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-13 11:03:12 +0000