about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2024-01-05Merge pull request #277673 from r-ryantm/auto-update/phd2Weijia Wang1-2/+2
2024-01-04Merge pull request #278422 from r-ryantm/auto-update/dataexplorerWeijia Wang1-2/+2
2024-01-04Merge pull request #278630 from r-ryantm/auto-update/wxmacmolpltNick Cao1-2/+2
2024-01-04Merge pull request #277269 from r-ryantm/auto-update/tulipWeijia Wang1-4/+8
2024-01-04Merge pull request #278628 from r-ryantm/auto-update/uarmsolverWeijia Wang1-2/+2
2024-01-04wxmacmolplt: 7.7.2 -> 7.7.3R. Ryantm1-2/+2
2024-01-04uarmsolver: 0.2.5 -> 0.2.6R. Ryantm1-2/+2
2024-01-03tulip: fix build on darwinWeijia Wang1-2/+6
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-03dataexplorer: 3.8.0 -> 3.8.3R. Ryantm1-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-30phd2: 2.6.12 -> 2.6.13R. Ryantm1-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-28tulip: 5.7.2 -> 5.7.3R. Ryantm1-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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-02 22:27:48 +0000