summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Expand)Author
2020-10-23cryptoverif: 2.01pl1 → 2.03pl1Vincent Laporte
2020-10-22Merge pull request #101244 from zaninime/nanovna-saverAnderson Torres
2020-10-22nanovna-saver: init at 0.3.7Francesco Zanini
2020-10-21coq: propagate and install ocaml and findlibThéo Zimmermann
2020-10-21Merge pull request #101065 from markuskowa/fix-molcasmarkuskowa
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-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
2020-10-10kicad: clarify wrapGAppsHook commentMatt Huszagh
2020-10-10kicad: reformat with nixpkgs-fmtMatt Huszagh
2020-10-10Merge branch 'master' into staging-nextVladimír Čunát
2020-10-10Merge pull request #100065 from matthuszagh/kicadDoron Behar
2020-10-10Merge pull request #99964 from guserav/horizon-edaDaniel Schaefer
2020-10-09horizon-eda: init at 1.2.1guserav
2020-10-09kicad-unstable: 2020-08-22 -> 2020-10-09Matt Huszagh
2020-10-09kicad: modify update script to use gitlab for librariesMatt Huszagh
2020-10-08Merge master into staging-nextFrederik Rietdijk
2020-10-07pythia: 8.244 -> 8.303Dmitry Kalinkin
2020-10-06conglomerate: update LIBMINC_DIR to reflect libminc CMake changesBen Darwin
2020-10-06EZminc: update LIBMINC_DIR to reflect libminc CMake changesBen Darwin
2020-10-06mni_autoreg: update LIBMINC_DIR due to CMake changes in libmincBen Darwin
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-29 03:23:06 +0000