about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-10-18lean: 3.19.0 -> 3.21.0R. RyanTM1-2/+2
2020-10-13Merge master into staging-nextFrederik Rietdijk12-291/+377
2020-10-13tamarin-prover: 1.4.1 → 1.6.0 (#100148)Vincent Laporte2-112/+21
2020-10-12Merge pull request #100066 from matthuszagh/kicad-srcsDoron Behar4-132/+221
2020-10-12kicad: add srcs parameter to allow configuring kicad versionsMatt Huszagh4-73/+128
2020-10-12kicad: Rename `<feature>Support` arguments to `with<Feature>`Matt Huszagh2-30/+41
2020-10-12Merge pull request #100193 from AndersonTorres/big-uploadAnderson Torres2-29/+20
2020-10-12gp2c: 0.0.11pl3 -> 0.0.11pl4AndersonTorres1-7/+8
2020-10-12pari: 2.11.3 -> 2.11.4AndersonTorres1-22/+12
2020-10-11fritzing: 0.9.3b -> 0.9.4Claudio Bley1-14/+54
2020-10-11ngspice: 31 -> 32Matt Huszagh1-4/+15
2020-10-11mathematica: fix libQt errorsWulfsta1-0/+5
2020-10-11Merge pull request #99503 from NieDzejkob/isabelle-z3-fixGabriel Ebner1-0/+41
2020-10-10kicad: remove unnecessary with lib; statementsMatt Huszagh3-16/+12
2020-10-11Merge branch 'master' into staging-nextJan Tojnar3-47/+85
2020-10-10kicad: clarify wrapGAppsHook commentMatt Huszagh1-2/+2
2020-10-10kicad: reformat with nixpkgs-fmtMatt Huszagh2-29/+56
2020-10-10Merge branch 'master' into staging-nextVladimír Čunát3-0/+131
2020-10-10Merge pull request #100065 from matthuszagh/kicadDoron Behar3-47/+85
2020-10-10Merge pull request #99964 from guserav/horizon-edaDaniel Schaefer1-0/+75
2020-10-09horizon-eda: init at 1.2.1guserav1-0/+75
2020-10-09kicad-unstable: 2020-08-22 -> 2020-10-09Matt Huszagh2-39/+81
2020-10-09kicad: modify update script to use gitlab for librariesMatt Huszagh1-8/+4
2020-10-08Merge master into staging-nextFrederik Rietdijk7-36/+19
2020-10-07pythia: 8.244 -> 8.303Dmitry Kalinkin2-0/+56
2020-10-06conglomerate: update LIBMINC_DIR to reflect libminc CMake changesBen Darwin1-2/+5
2020-10-06EZminc: update LIBMINC_DIR to reflect libminc CMake changesBen Darwin1-2/+2
2020-10-06mni_autoreg: update LIBMINC_DIR due to CMake changes in libmincBen Darwin1-2/+2
2020-10-06n3: 2017-09-18 -> 2018-08-09Ben Darwin1-5/+5
2020-10-06inormalize: update LIBMINC_DIR and dependencies due to libminc updateBen Darwin1-1/+1
2020-10-06minc_tools: unstable-2019-12-04 -> unstable-2020-07-25Ben Darwin2-24/+4
2020-10-06Merge staging-next into stagingFrederik Rietdijk8-26/+112
2020-10-03z3_4_4_0: add old version for IsabelleJakub Kądziołka1-0/+41
2020-10-01Merge pull request #99214 from bcdarwin/update-mrtrixAnderson Torres1-2/+2
2020-09-30mrtrix: 3.0.0 -> 3.0.2Ben Darwin1-2/+2
2020-09-30ocamlPackages.z3: init at 4.8.9Vincent Laporte1-2/+16
2020-09-29Merge branch 'staging-next' into stagingJan Tojnar5-12/+114
2020-09-27stellarium: enable on darwinDmitry Kalinkin1-3/+12
2020-09-27stellarium: 0.20.2 -> 0.20.3Maximilian Bosch1-2/+2
2020-09-27openems: init at unstable-2020-02-15Matt Huszagh1-0/+76
2020-09-25Merge pull request #98614 from r-burns/aragornRobert Scott1-1/+1
2020-09-25Merge pull request #97613 from drewrisinger/zhf/verilogDmitry Kalinkin1-7/+33
2020-09-25cytoscape: 3.8.0 -> 3.8.1R. RyanTM1-2/+2
2020-09-24Merge branch 'staging-next' into stagingJan Tojnar9-39/+74
2020-09-23jmol: 14.31.2 -> 14.31.3R. RyanTM1-2/+2
2020-09-23aragorn: fix build on darwinRyan Burns1-1/+1
2020-09-23Merge pull request #69644 from bzizou/obitoolsRyan Mulligan1-0/+38
2020-09-23Merge pull request #98441 from vbgl/why3-1.3.3Doron Behar1-3/+3
2020-09-23Merge pull request #98427 from jbedo/octopusDaniël de Kok1-2/+2
2020-09-22Merge pull request #98283 from risicle/ris-truvari-2.0.2Jon2-10/+18
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-14 20:31:36 +0000