summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #221099 from evils/kicadRyan Lahfa2023-04-04
|\
| * kicad-unstable: fix ngspice testsEvils2023-03-30
| * kicad-unstable: 2023-02-14 -> 2023-03-29Evils2023-03-30
| * kicad: add requests runtime dependencyEvils2023-03-28
| * kicad: remove withOCC and more cmakeFlags cleanupEvils2023-03-28
| * kicad: 7.0.0 -> 7.0.1Evils2023-03-28
* | Merge pull request #224462 from wegank/scalp-mirrorWeijia Wang2023-04-03
|\ \
| * | scalp: update mirror linkWeijia Wang2023-04-03
* | | Merge pull request #224345 from natsukium/blast/darwinWeijia Wang2023-04-03
|\ \ \
| * | | blast-bin: init at 2.13.0natsukium2023-04-03
* | | | Merge pull request #224414 from jbedo/lastNick Cao2023-04-03
|\ \ \ \
| * | | | last: 1447 -> 1453Justin Bedo2023-04-03
* | | | | openroad: unstable-2022-07-19 -> unstable-2023-03-31Nicolas Benes2023-04-02
|/ / / /
* / / / pymol: remove broken mark for darwinnatsukium2023-04-01
|/ / /
* | | cppzmq: make zeromq propagatedBuildInputMichal Sojka2023-03-31
* | | calcmysky: unstable-2023-02-11 -> 0.3.0Nick Cao2023-03-29
|/ /
* | Merge pull request #220832 from wegank/glucose-bumpWeijia Wang2023-03-29
|\ \
| * | glucose: 4.1 -> 4.2.1Weijia Wang2023-03-18
* | | Merge pull request #223075 from r-ryantm/auto-update/ginacWeijia Wang2023-03-29
|\ \ \
| * | | ginac: 1.8.5 -> 1.8.6R. Ryantm2023-03-25
* | | | Merge pull request #223497 from r-ryantm/auto-update/primecountMauricio Collares2023-03-28
|\ \ \ \
| * | | | primecount: 7.6 -> 7.7R. Ryantm2023-03-28
| | |_|/ | |/| |
* | | | Merge pull request #222531 from r-ryantm/auto-update/sumoWeijia Wang2023-03-28
|\ \ \ \
| * | | | sumo: 1.15.0 -> 1.16.0R. Ryantm2023-03-22
* | | | | Merge pull request #223453 from kilianar/stellarium-23.1Nick Cao2023-03-28
|\ \ \ \ \
| * | | | | stellarium: 1.2 -> 23.1kilianar2023-03-28
| * | | | | calcmysky: 0.2.1 -> unstable-203-02-11kilianar2023-03-28
| | |/ / / | |/| | |
* / | | | coq: 8.16.1 -> 8.17.0Ali Caglayan2023-03-28
|/ / / /
* | | | Merge pull request #222979 from r-ryantm/auto-update/cvc5Weijia Wang2023-03-27
|\ \ \ \
| * | | | cvc5: 1.0.4 -> 1.0.5R. Ryantm2023-03-25
* | | | | Merge pull request #168773 from Leixb/megam-add-optSandro2023-03-27
|\ \ \ \ \
| * | | | | megam: add leixb as maintainerLeixB2023-03-24
| * | | | | megam: add megam.opt binaryLeixB2023-03-24
* | | | | | Merge pull request #221546 from NixOS/r-updatesJustin Bedő2023-03-26
|\ \ \ \ \ \
| * | | | | | R: 4.2.2 -> 4.2.3Justin Bedo2023-03-15
* | | | | | | Merge master into staging-nextgithub-actions[bot]2023-03-26
|\ \ \ \ \ \ \
| * \ \ \ \ \ \ Merge pull request #222766 from Artturin/fix-different-storeArtturi2023-03-25
| |\ \ \ \ \ \ \ | | |_|_|_|_|/ / | |/| | | | | |
| | * | | | | | treewide: don't hardcode /nix/store (no rebuilds changes)Artturin2023-03-24
| | | |_|/ / / | | |/| | | |
* | | | | | | Merge master into staging-nextgithub-actions[bot]2023-03-25
|\| | | | | |
| * | | | | | Merge pull request #222464 from r-ryantm/auto-update/diamondWeijia Wang2023-03-24
| |\ \ \ \ \ \ | | |/ / / / / | |/| | | | |
| | * | | | | diamond: 2.1.5 -> 2.1.6R. Ryantm2023-03-22
| | | |_|/ / | | |/| | |
* | | | | | Merge master into staging-nextgithub-actions[bot]2023-03-24
|\| | | | |
| * | | | | gretl: 2022c -> 2023aR. Ryantm2023-03-23
* | | | | | Merge #222442: R: override test for curl versionVladimír Čunát2023-03-23
|\ \ \ \ \ \
| * | | | | | override test for curl versionMaxHearnden2023-03-21
* | | | | | | Merge master into staging-nextgithub-actions[bot]2023-03-22
|\ \ \ \ \ \ \ | | |/ / / / / | |/| | | | |
| * | | | | | yices: fix typo in commentLuflosi2023-03-22
| * | | | | | Merge pull request #220001 from wegank/isabelle-armWeijia Wang2023-03-22
| |\ \ \ \ \ \
| | * | | | | | isabelle: add aarch64-linux supportWeijia Wang2023-03-07
* | | | | | | | Merge master into staging-nextgithub-actions[bot]2023-03-22
|\| | | | | | | | |_|/ / / / / |/| | | | | |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 09:48:18 +0000