about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-10-23cryptoverif: 2.01pl1 → 2.03pl1Vincent Laporte1-2/+2
2020-10-22Merge pull request #101244 from zaninime/nanovna-saverAnderson Torres1-0/+51
2020-10-22nanovna-saver: init at 0.3.7Francesco Zanini1-0/+51
2020-10-21coq: propagate and install ocaml and findlibThéo Zimmermann1-2/+5
2020-10-21Merge pull request #101065 from markuskowa/fix-molcasmarkuskowa2-12/+19
2020-10-19Merge pull request #100741 from arcz/btor2toolsAustin Seipp1-1/+1
2020-10-19openmolcas: 19.11 -> 20.10Markus Kowalewski2-20/+11
2020-10-19openmolcas: fix build w.r.t. openblasMarkus Kowalewski2-2/+18
2020-10-19gfan: fix build failures with cddlib v0.94lMasanori Ogino2-2/+61
2020-10-18Merge pull request #101010 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
2020-10-18lean: 3.19.0 -> 3.21.0R. RyanTM1-2/+2
2020-10-17Merge pull request #85456 from matthuszagh/kicad-librariesDoron Behar1-4/+4
2020-10-17Merge pull request #100548 from r-ryantm/auto-update/MAVProxyRyan Mulligan1-2/+2
2020-10-17kicad: set default footprint, symbol library and package locationsMatt Huszagh1-4/+4
2020-10-17treewide: remove periods from end of package descriptionsBen Siraphob7-8/+8
2020-10-16btor2tools: enable unix platformsArtur Cygan1-1/+1
2020-10-16Merge pull request #99128 from jbedo/dellyRyan Mulligan1-13/+4
2020-10-16deeptools: 3.4.1 -> 3.5.0R. RyanTM1-2/+2
2020-10-15Merge pull request #75843 from jbedo/lumpyDoron Behar3-0/+104
2020-10-15mavproxy: 1.8.19 -> 1.8.22R. RyanTM1-2/+2
2020-10-14Merge master into staging-nextFrederik Rietdijk1-0/+36
2020-10-13Merge pull request #100357 from AndersonTorres/zegrapher-newAnderson Torres1-0/+36
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-12zegrapher: init at 3.1.1AndersonTorres1-0/+36
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 04:41:51 +0000