about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2023-07-11Merge pull request #242794 from r-ryantm/auto-update/elanWeijia Wang1-3/+3
2023-07-11Merge pull request #242775 from r-ryantm/auto-update/cbmcWeijia Wang1-2/+2
2023-07-11elan: 1.4.6 -> 2.0.0R. Ryantm1-3/+3
2023-07-11cbmc: 5.86.0 -> 5.87.0R. Ryantm1-2/+2
2023-07-11Merge pull request #241824 from evils/kicadNick Cao1-11/+11
2023-07-10Merge pull request #185499 from mgregson/tlaplus-1.8.0Janik1-0/+39
2023-07-09Merge pull request #242508 from r-ryantm/auto-update/kallistoWeijia Wang1-2/+2
2023-07-09kallisto: 0.48.0 -> 0.50.0R. Ryantm1-2/+2
2023-07-09Merge pull request #236975 from r-ryantm/auto-update/singularWeijia Wang2-13/+20
2023-07-09sage: import singular 4.3.2p2 update patchMauricio Collares1-0/+7
2023-07-09singular: 4.3.2p1 -> 4.3.2p2R. Ryantm1-2/+2
2023-07-09sage: refresh patchesMauricio Collares1-11/+11
2023-07-09Merge pull request #242419 from r-ryantm/auto-update/polymakeMauricio Collares1-2/+2
2023-07-09Merge pull request #242302 from r-ryantm/auto-update/nest-mpiWeijia Wang1-2/+2
2023-07-09polymake: 4.9 -> 4.10R. Ryantm1-2/+2
2023-07-08nest-mpi: 3.4 -> 3.5R. Ryantm1-2/+2
2023-07-08veryfasttree: 4.0 -> 4.0.1R. Ryantm1-2/+2
2023-07-08Merge pull request #241919 from dev-null-undefined/masterIlan Joselevich1-0/+14
2023-07-06octopus: 12.2 -> 13.0Markus Kowalewski markus.kowalewski@fysik.su.se1-2/+2
2023-07-06mathematica: 13.2.1 -> 13.3.0dev-null-undefined1-0/+14
2023-07-06kicad: 7.0.5 -> 7.0.6Evils1-11/+11
2023-07-04egglog: unstable-2023-06-11 -> unstable-2023-06-26figsoda1-3/+3
2023-07-04autodock-vina: 1.2.3 -> 1.2.5R. Ryantm1-2/+2
2023-07-04Merge pull request #241325 from alyaeanyx/qalculate-4.7.0Doron Behar2-6/+6
2023-07-04Merge pull request #241272 from kilianar/stellarium-23.2Nick Cao1-2/+2
2023-07-03{libqalculate, qalculate-gtk, qalculate-qt}: 4.6.1 -> 4.7.0alyaeanyx2-6/+6
2023-07-03Merge pull request #241136 from r-ryantm/auto-update/veryfasttreeWeijia Wang1-3/+5
2023-07-03stellarium: 23.1 -> 23.2kilianar1-2/+2
2023-07-03veryfasttree: fix build on darwinWeijia Wang1-1/+3
2023-07-03Merge pull request #241086 from r-ryantm/auto-update/simgridWeijia Wang1-2/+2
2023-07-03Merge pull request #241120 from jiegec/cbmcNick Cao2-37/+29
2023-07-02Merge pull request #241192 from tjni/snakemakefigsoda1-1/+1
2023-07-02snakemake: fix broken source hashTheodore Ni1-1/+1
2023-07-03Merge pull request #241037 from NickCao/gprojectorNick Cao1-2/+2
2023-07-02Merge pull request #232469 from natsukium/autodock-vina/initMartin Weinelt2-0/+113
2023-07-02Merge pull request #235322 from natsukium/dssp/updateMartin Weinelt1-15/+28
2023-07-02pkgs/applications: replace "${version}" with versionfigsoda3-3/+3
2023-07-02veryfasttree: 3.1.1 -> 4.0R. Ryantm1-2/+2
2023-07-02cbmc: 5.76.1 -> 5.86.0Jiajie Chen2-37/+29
2023-07-02simgrid: 3.32 -> 3.34R. Ryantm1-2/+2
2023-07-02gprojector: 3.0.6 -> 3.1.0Nick Cao1-2/+2
2023-07-01dssp: fix formatnatsukium1-10/+23
2023-07-01dssp: 4.2.2.1 -> 4.3.1natsukium1-5/+5
2023-06-30tlaplus18: init at 1.8.0Michael Gregson1-0/+39
2023-06-30Merge pull request #240656 from vbgl/coq-8.17.1Théo Zimmermann1-0/+1
2023-06-30Merge pull request #240479 from r-ryantm/auto-update/gerbvWeijia Wang1-2/+2
2023-06-30coq: 8.17.0 → 8.17.1Vincent Laporte1-0/+1
2023-06-29gerbv: 2.9.7 -> 2.9.8R. Ryantm1-2/+2
2023-06-29Merge pull request #239891 from NixOS/r-updatesJustin Bedő1-2/+2
2023-06-29Merge pull request #240318 from r-ryantm/auto-update/mosdepthJustin Bedő1-2/+2