about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* verilator: 4.034 -> 4.036Austin Seipp2020-06-16
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Merge pull request #90419 from r-ryantm/auto-update/picard-toolsRyan Mulligan2020-06-15
|\ | | | | picard-tools: 2.22.9 -> 2.23.0
| * picard-tools: 2.22.9 -> 2.23.0R. RyanTM2020-06-15
| |
* | lean: 3.15.0 -> 3.16.2R. RyanTM2020-06-14
|/
* symbiyosys: 2020.03.24 -> 2020.05.18Austin Seipp2020-06-11
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* yosys: 2020.03.24 -> 2020.06.11Austin Seipp2020-06-11
| | | | | | Also includes a bump to `abc-verifier`. Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Merge branch 'staging-next'Vladimír Čunát2020-06-10
|\
| * Merge branch 'master' into staging-nextJan Tojnar2020-06-10
| |\
| * \ Merge master into staging-nextFrederik Rietdijk2020-06-08
| |\ \
| * \ \ Merge master into staging-nextFrederik Rietdijk2020-06-07
| |\ \ \
| * \ \ \ Merge master into staging-nextFrederik Rietdijk2020-06-04
| |\ \ \ \
| * | | | | mxnet: use blas.provider, fix buildJonathan Ringer2020-05-28
| | | | | |
* | | | | | Merge pull request #90045 from r-ryantm/auto-update/marvinRyan Mulligan2020-06-10
|\ \ \ \ \ \ | | | | | | | | | | | | | | marvin: 20.12.0 -> 20.13.0
| * | | | | | marvin: 20.12.0 -> 20.13.0R. RyanTM2020-06-10
| | |_|_|_|/ | |/| | | |
* | | | | | Merge pull request #90013 from r-ryantm/auto-update/jmolmarkuskowa2020-06-10
|\ \ \ \ \ \ | |/ / / / / |/| | | | | jmol: 14.30.2 -> 14.31.0
| * | | | | jmol: 14.30.2 -> 14.31.0R. RyanTM2020-06-10
| | |_|_|/ | |/| | |
* | | | | boolector: 3.0.0 -> 3.2.1Symphorien Gibol2020-06-08
| | | | | | | | | | | | | | | | | | | | | | | | | enable tests optionnally enable gmp
* | | | | btor2tools: pre55 -> 1.0.0-preSymphorien Gibol2020-06-08
| | | | | | | | | | | | | | | | | | | | version comes from the VERSION file in the repo
* | | | | formatting: fix missing leading whitespace10001012020-06-08
|/ / / /
* | | | Merge pull request #89667 from r-ryantm/auto-update/picard-toolsRyan Mulligan2020-06-07
|\ \ \ \ | | | | | | | | | | picard-tools: 2.22.8 -> 2.22.9
| * | | | picard-tools: 2.22.8 -> 2.22.9R. RyanTM2020-06-06
| | |/ / | |/| |
* | | | Merge pull request #89515 from lopsided98/qgroundcontrol-updateFrederik Rietdijk2020-06-07
|\ \ \ \ | |_|_|/ |/| | | qgroundcontrol: 3.5.5 -> 4.0.8
| * | | qgroundcontrol: 3.5.5 -> 4.0.8Ben Wolsieffer2020-06-04
| |/ /
* | | molden: 6.2 -> 6.3Markus Kowalewski2020-06-06
| | |
* | | lean: 3.14.0 -> 3.15.0R. RyanTM2020-06-06
|/ /
* | Merge pull request #88466 from puzzlewolf/gazebo_removeLassulus2020-06-04
|\ \ | | | | | | gazebo: remove
| * | maintainers: remove pxcpuzzlewolf2020-05-30
| | |
| * | gazebo, sdformat: removepuzzlewolf2020-05-30
| |/
* | treewide: replace base64 encoded hashesDaiderd Jordan2020-06-03
| |
* | Merge pull request #89308 from LnL7/remove-sri-hasheszimbatm2020-06-02
|\ \ | | | | | | Remove sri hashes
| * | treewide: replace SRI hashesDaiderd Jordan2020-06-01
| |/
* | Merge pull request #89111 from timokau/gap-cleanupTimo Kaufmann2020-06-02
|\ \ | |/ |/| gap: cleanup
| * gap: remove explicit configreFlagsTimo Kaufmann2020-05-28
| | | | | | | | System gmp is now the default.
| * gap: add readline supportTimo Kaufmann2020-05-28
| | | | | | | | | | Technically optional but strongly recommended from upstream. Replaces their own implementation for input parsing.
| * gap: use https for the homepageTimo Kaufmann2020-05-28
| |
| * gap: fix comment typoTimo Kaufmann2020-05-28
| |
| * gap: remove m4 dependencyTimo Kaufmann2020-05-28
| | | | | | | | | | No longer necessary, since the build system was significantly overhauled / replaced by Max Horn.
| * gap: move to new source URLTimo Kaufmann2020-05-28
| | | | | | | | | | GAP downloads moved to a new subdomain. The old one still redirects, but the new one is the "source of truth" so we should switch to that.
| * gap: use the `check` target for install checksTimo Kaufmann2020-05-28
| | | | | | | | | | | | | | | | | | | | As suggested by Max Horn. This exists since gap 4.10 and will only run the install checks once while also exiting with an appropriate exit code. This new check has uncovered some test failures, which are harmless and actually disabled in a future gap release. The error-detection code for the previous test target was probably broken.
* | Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2Timo Kaufmann2020-05-27
|\ \ | | | | | | palp: fix hash
| * | palp: fix hashTimo Kaufmann2020-05-28
| |/ | | | | | | | | The file was modified for the second time now. I'll try to contact upstream about this. Maybe 2.11 is not actually a finished product yet.
* / cryptominisat: 5.7.0 -> 5.7.1R. RyanTM2020-05-27
|/
* marvin: 20.10.0 -> 20.12.0R. RyanTM2020-05-27
|
* proverif: 2.00 -> 2.01R. RyanTM2020-05-27
|
* Merge pull request #88916 from zowoq/patchesJörg Thalheim2020-05-27
|\
| * sad: use patch file extensionzowoq2020-05-26
| |
* | Merge pull request #82180 from bcdarwin/bppcoreBenjamin Hipple2020-05-26
|\ \ | | | | | | bppsuite: init at 2.4.1
| * | bppsuite: init at 2.4.1Ben Darwin2020-05-25
| | |
* | | Merge pull request #70487 from esclear/xflr5Lassulus2020-05-27
|\ \ \ | | | | | | | | xflr5: init at 6.47
| * | | xflr5: init at 6.47Daniel Albert2020-01-08
| | | |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-28 22:43:11 +0000