about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2024-01-03Merge pull request #277227 from r-ryantm/auto-update/cvc5Weijia Wang1-2/+2
2024-01-03Merge pull request #276101 from r-ryantm/auto-update/dellyWeijia Wang1-2/+2
2024-01-03Merge pull request #274004 from r-ryantm/auto-update/celestiaWeijia Wang1-2/+2
2024-01-03Merge pull request #273163 from r-ryantm/auto-update/qgroundcontrolWeijia Wang1-2/+2
2024-01-03Merge pull request #272422 from r-ryantm/auto-update/gretlWeijia Wang1-2/+2
2024-01-03Merge pull request #275873 from fedeinthemix/wip-xyce-7.8Weijia Wang1-3/+5
2024-01-02Merge pull request #278257 from nevivurn/fix/sage-eclMauricio Collares1-0/+14
2024-01-02sage: import 10.2.beta3 patchesYongun Seong1-0/+14
2024-01-02pspp: 1.6.2 -> 2.0.0R. Ryantm1-2/+2
2023-12-31eigenmath: unstable-2023-12-12 -> unstable-2023-12-31R. Ryantm1-3/+3
2023-12-31z3_4_12: 4.12.2 -> 4.12.4Lucas Van Laer1-2/+2
2023-12-29Merge pull request #276424 from kilianar/stellarium-23.4Mario Rodas1-10/+14
2023-12-29Merge pull request #277435 from trofi/picoscope.rules-fix-evalBobby Rong1-2/+2
2023-12-28picoscope: fix `rules` evalSergei Trofimovich1-2/+2
2023-12-28Merge pull request #277028 from r-ryantm/auto-update/magic-vlsiNick Cao1-2/+2
2023-12-28cvc5: 1.0.9 -> 1.1.0R. Ryantm1-2/+2
2023-12-26Merge pull request #276854 from r-ryantm/auto-update/cadicalFabián Heredia Montiel1-2/+2
2023-12-27magic-vlsi: 8.3.453 -> 8.3.454R. Ryantm1-2/+2
2023-12-26Merge pull request #276940 from tejing1/cleanup-lean4Mario Rodas1-0/+1
2023-12-26lean4: clean up colliding filesJeff Huffman1-0/+1
2023-12-26Merge pull request #275586 from r-ryantm/auto-update/cvc5Mario Rodas1-2/+2
2023-12-26cadical: 1.9.1 -> 1.9.3R. Ryantm1-2/+2
2023-12-26wxmaxima: 23.11.0 -> 23.12.0R. Ryantm1-2/+2
2023-12-25Revert "gwyddion: mark as broken"Doron Behar1-1/+2
2023-12-24lammps: fix homepage and licenseMarkus Kowalewski1-2/+2
2023-12-24stellarium: 23.3 -> 23.4kilianar1-10/+14
2023-12-24Merge pull request #276231 from r-ryantm/auto-update/samtoolsFabián Heredia Montiel1-2/+2
2023-12-23Merge pull request #276240 from r-ryantm/auto-update/seqkitNick Cao1-3/+3
2023-12-23Merge pull request #276190 from r-ryantm/auto-update/qtrvsimNick Cao1-2/+2
2023-12-23Merge pull request #275710 from andir/xflr5-fetchsvnAndreas Rammhold1-4/+7
2023-12-23seqkit: 2.6.0 -> 2.6.1R. Ryantm1-3/+3
2023-12-23samtools: 1.18 -> 1.19R. Ryantm1-2/+2
2023-12-23qtrvsim: 0.9.5 -> 0.9.6R. Ryantm1-2/+2
2023-12-22delly: 1.1.8 -> 1.2.6R. Ryantm1-2/+2
2023-12-22lean4: 4.3.0 -> 4.4.0R. Ryantm1-2/+2
2023-12-21xyce: 7.7.0 -> 7.8.0Federico Beffa1-3/+5
2023-12-21Merge pull request #274810 from r-ryantm/auto-update/messer-slimOTABI Tomoya1-2/+2
2023-12-20Merge pull request #274496 from whonore/update-dafny-4.4.0Guillaume Maudoux2-36/+31
2023-12-20xflr5: use fetchsvn instead of fetchzipAndreas Rammhold1-4/+7
2023-12-20Merge pull request #275608 from proux01/coq_8_19Vincent Laporte1-0/+1
2023-12-20cvc5: 1.0.8 -> 1.0.9R. Ryantm1-2/+2
2023-12-20Merge pull request #275350 from r-ryantm/auto-update/lastJustin Bedő1-2/+2
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux1-0/+1
2023-12-19last: 1518 -> 1519R. Ryantm1-2/+2
2023-12-19Merge pull request #273915 from r-ryantm/auto-update/bcftoolsOTABI Tomoya1-2/+2
2023-12-19Merge pull request #274736 from r-ryantm/auto-update/magic-vlsiOTABI Tomoya1-2/+2
2023-12-18Merge pull request #274363 from r-ryantm/auto-update/gatkEmily1-2/+2
2023-12-18cgal: default to version 5Vincent Laporte1-2/+2
2023-12-18avogadro2: 1.97.0 -> 1.98.1Phillip Seeber1-4/+4
2023-12-18nnpdf: 4.0.6 -> 4.0.7R. Ryantm1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-19 06:34:38 +0000