about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2024-03-12Merge pull request #295208 from r-ryantm/auto-update/igvPol Dellaiera1-2/+2
2024-03-12Merge pull request #294869 from atorres1985-contrib/primecountThiago Kenji Okada2-93/+0
2024-03-12Merge pull request #295171 from r-ryantm/auto-update/seqkitNick Cao1-3/+3
2024-03-12eigenmath: unstable-2024-03-06 -> unstable-2024-03-11R. Ryantm1-3/+3
2024-03-12coq_8_19: 8.19.0 → 8.19.1Vincent Laporte1-0/+1
2024-03-12igv: 2.17.2 -> 2.17.3R. Ryantm1-2/+2
2024-03-12seqkit: 2.7.0 -> 2.8.0R. Ryantm1-3/+3
2024-03-11Merge pull request #294334 from ShamrockLee/sourceroot-fixPol Dellaiera2-5/+5
2024-03-11primecount: migrate to by-nameAnderson Torres1-56/+0
2024-03-11primesieve: migrate to by-nameAnderson Torres1-37/+0
2024-03-11calcmysky: 0.3.1 -> 0.3.2R. Ryantm1-2/+2
2024-03-10primesieve: 12.0 -> 12.1R. Ryantm1-2/+2
2024-03-09Revert "elan: revert temporary directory creation"Joachim Breitner1-9/+1
2024-03-09fix: elan: use relative paths in wrapper scriptJoachim Breitner1-4/+6
2024-03-09treewide: fix sourceRoot for fetchgit-based srcYueh-Shun Li2-5/+5
2024-03-08Merge pull request #293065 from r-ryantm/auto-update/jmolMauricio Collares1-2/+2
2024-03-08jmol: 16.1.53 -> 16.1.63R. Ryantm1-2/+2
2024-03-08Merge pull request #292724 from r-ryantm/auto-update/cvc5Weijia Wang1-2/+2
2024-03-07Merge pull request #293432 from alois31/geogebra-3dPol Dellaiera1-3/+3
2024-03-07Merge pull request #294100 from r-ryantm/auto-update/eigenmathNick Cao1-3/+3
2024-03-07eigenmath: unstable-2024-02-25 -> unstable-2024-03-06R. Ryantm1-3/+3
2024-03-07Merge pull request #293773 from GaetanLepage/mujocoSamuel Ainsworth2-63/+44
2024-03-07Merge pull request #291880 from r-ryantm/auto-update/pariWeijia Wang1-2/+2
2024-03-07mujoco: 3.1.2 -> 3.1.3Gaetan Lepage2-63/+44
2024-03-07Merge pull request #287372 from r-ryantm/auto-update/cryptominisatWeijia Wang1-2/+2
2024-03-07Merge pull request #293918 from r-ryantm/auto-update/opensmt7c6f434c1-2/+2
2024-03-07Merge pull request #285423 from r-ryantm/auto-update/diamondWeijia Wang1-2/+2
2024-03-07Merge pull request #287668 from r-ryantm/auto-update/igvWeijia Wang1-2/+2
2024-03-07Merge pull request #291482 from r-ryantm/auto-update/verilatorWeijia Wang1-2/+2
2024-03-07Merge pull request #292044 from r-ryantm/auto-update/mavproxyWeijia Wang1-2/+2
2024-03-07elan: revert temporary directory creationMario Rodas1-1/+9
2024-03-07opensmt: 2.5.2 -> 2.6.0R. Ryantm1-2/+2
2024-03-06Merge pull request #289177 from r-ryantm/auto-update/clingconWeijia Wang1-2/+2
2024-03-06Merge pull request #290917 from r-ryantm/auto-update/magic-vlsiWeijia Wang1-2/+2
2024-03-06cadical: 1.9.4 -> 1.9.5R. Ryantm1-2/+2
2024-03-05magic-vlsi: 8.3.460 -> 8.3.463R. Ryantm1-2/+2
2024-03-05gromacs: 2024 -> 2024.1Markus Kowalewski1-2/+2
2024-03-04lean4: 4.6.0 -> 4.6.1Mario Rodas1-2/+2
2024-03-03geogebra: fix 3D view againAlois Wohlschlager1-3/+3
2024-03-02lammps-mpi: 2Aug2023_update2 -> 2Aug2023_update3R. Ryantm1-2/+2
2024-03-02Merge pull request #292584 from r-ryantm/auto-update/wxmaximaDoron Behar1-2/+2
2024-03-02cvc5: 1.1.1 -> 1.1.2R. Ryantm1-2/+2
2024-03-01Merge pull request #287403 from trofi/graphia-gcc-13-fix-updateMario Rodas1-14/+15
2024-03-01nnpdf: 4.0.8 -> 4.0.9R. Ryantm1-2/+2
2024-03-01wxmaxima: 24.02.1 -> 24.02.2R. Ryantm1-2/+2
2024-02-29Merge pull request #292202 from marsam/update-lean4Mario Rodas1-2/+2
2024-03-01Merge pull request #289911 from r-ryantm/auto-update/lastJustin Bedő1-2/+2
2024-02-28mavproxy: 1.8.66 -> 1.8.70R. Ryantm1-2/+2
2024-02-28eigenmath: unstable-2024-02-04 -> unstable-2024-02-25R. Ryantm1-3/+3
2024-02-28lean4: 4.5.0 -> 4.6.0Mario Rodas1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 01:39:22 +0000