summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Expand)Author
2020-10-27treewide: remove package names from prefix of descriptionsBen Siraphob
2020-10-27maxima: remove 5.41.0Masanori Ogino
2020-10-26Merge pull request #101646 from luc65r/pkg/rofi-calcMaximilian Bosch
2020-10-26Merge pull request #101716 from r-ryantm/auto-update/openhantek6022Ryan Mulligan
2020-10-26openhantek6022: 3.1.2 -> 3.1.3R. RyanTM
2020-10-25Merge pull request #100393 from matthiasbeyer/update-rPeter Simons
2020-10-25rofi-calc: 1.8 -> 1.9Lucas Ransan
2020-10-25Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"Vladimír Čunát
2020-10-25Merge #101508: libraw: 0.20.0 -> 0.20.2Vladimír Čunát
2020-10-23cryptoverif: 2.01pl1 → 2.03pl1Vincent Laporte
2020-10-22Merge pull request #101244 from zaninime/nanovna-saverAnderson Torres
2020-10-22Merge branch 'staging-next' into stagingJan Tojnar
2020-10-22nanovna-saver: init at 0.3.7Francesco Zanini
2020-10-21Merge pull request #100388 from thefloweringash/darwin-dylib-names-hookDaiderd Jordan
2020-10-21coq: propagate and install ocaml and findlibThéo Zimmermann
2020-10-21Merge pull request #101065 from markuskowa/fix-molcasmarkuskowa
2020-10-21treewide: move fixDarwinDylibNames to nativeBuildInputsAndrew Childs
2020-10-19Merge pull request #100741 from arcz/btor2toolsAustin Seipp
2020-10-19openmolcas: 19.11 -> 20.10Markus Kowalewski
2020-10-19openmolcas: fix build w.r.t. openblasMarkus Kowalewski
2020-10-19gfan: fix build failures with cddlib v0.94lMasanori Ogino
2020-10-18Merge pull request #101010 from r-ryantm/auto-update/leanGabriel Ebner
2020-10-18lean: 3.19.0 -> 3.21.0R. RyanTM
2020-10-17Merge pull request #85456 from matthuszagh/kicad-librariesDoron Behar
2020-10-17Merge pull request #100548 from r-ryantm/auto-update/MAVProxyRyan Mulligan
2020-10-17kicad: set default footprint, symbol library and package locationsMatt Huszagh
2020-10-17treewide: remove periods from end of package descriptionsBen Siraphob
2020-10-16btor2tools: enable unix platformsArtur Cygan
2020-10-16Merge pull request #99128 from jbedo/dellyRyan Mulligan
2020-10-16deeptools: 3.4.1 -> 3.5.0R. RyanTM
2020-10-15Merge pull request #75843 from jbedo/lumpyDoron Behar
2020-10-15mavproxy: 1.8.19 -> 1.8.22R. RyanTM
2020-10-14Merge master into staging-nextFrederik Rietdijk
2020-10-13Merge pull request #100357 from AndersonTorres/zegrapher-newAnderson Torres
2020-10-13Merge master into staging-nextFrederik Rietdijk
2020-10-13tamarin-prover: 1.4.1 → 1.6.0 (#100148)Vincent Laporte
2020-10-13R: 4.0.2 -> 4.0.3Matthias Beyer
2020-10-12zegrapher: init at 3.1.1AndersonTorres
2020-10-12Merge pull request #100066 from matthuszagh/kicad-srcsDoron Behar
2020-10-12kicad: add srcs parameter to allow configuring kicad versionsMatt Huszagh
2020-10-12kicad: Rename `<feature>Support` arguments to `with<Feature>`Matt Huszagh
2020-10-12Merge pull request #100193 from AndersonTorres/big-uploadAnderson Torres
2020-10-12gp2c: 0.0.11pl3 -> 0.0.11pl4AndersonTorres
2020-10-12pari: 2.11.3 -> 2.11.4AndersonTorres
2020-10-11fritzing: 0.9.3b -> 0.9.4Claudio Bley
2020-10-11ngspice: 31 -> 32Matt Huszagh
2020-10-11mathematica: fix libQt errorsWulfsta
2020-10-11Merge pull request #99503 from NieDzejkob/isabelle-z3-fixGabriel Ebner
2020-10-10kicad: remove unnecessary with lib; statementsMatt Huszagh
2020-10-11Merge branch 'master' into staging-nextJan Tojnar