about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2023-11-30Merge pull request #271084 from marsam/update-lean4Mario Rodas1-2/+2
2023-11-30acgtk: 1.5.4 → 2.0.0Vincent Laporte1-4/+4
2023-11-29surelog: 1.76 -> 1.80Henner Zeller1-2/+2
2023-11-29uhdm: 1.77 -> 1.80Henner Zeller1-2/+2
2023-11-29Merge pull request #270312 from rafaelrc7/update-mathematicaEmily Trau3-3/+18
2023-11-29lean4: 4.2.0 -> 4.3.0Mario Rodas1-2/+2
2023-11-28mosdepth: build with a lockfileEmery Hemingway1-25/+0
2023-11-28Merge pull request #267703 from zimbatm/gromacs-plumedmarkuskowa1-4/+25
2023-11-27Merge pull request #269115 from r-ryantm/auto-update/phd2Pol Dellaiera1-2/+2
2023-11-27mathematica: add rafaelrc to maintainersrafaelrc71-1/+1
2023-11-27fahclient: 7.6.21 -> 8.1.18 (#246832)Jonas Chevalier1-44/+55
2023-11-26mathematica: 13.3.0 -> 13.3.1rafaelrc72-2/+17
2023-11-26igv: Fix missing wrapGAppsHook causing causing GLib-GIO-ERRORStian Lågstad1-1/+2
2023-11-26xearth: improve meta.licenseMarcFontaine1-2/+6
2023-11-26Merge pull request #269034 from a-n-n-a-l-e-e/lp_solver-fixRobert Scott1-0/+6
2023-11-25magic-vlsi: 8.3.447 -> 8.3.449R. Ryantm1-2/+2
2023-11-26Merge pull request #258205 from evils/kicadPeder Bergebakken Sundt1-12/+12
2023-11-25Merge pull request #269700 from NixOS/pr/root_warning_fixPierre Bourdon1-0/+3
2023-11-25Merge pull request #269640 from natsukium/dssp/updateOTABI Tomoya1-2/+2
2023-11-24root: fix excessive build log sizeDmitry Kalinkin1-0/+3
2023-11-24dssp: 4.4.4.1 -> 4.4.5natsukium1-2/+2
2023-11-23lean4: fix build on darwinMario Rodas1-0/+5
2023-11-22jmol: 16.1.43 -> 16.1.45R. Ryantm1-2/+2
2023-11-22gama: 2.26 -> 2.27R. Ryantm1-2/+2
2023-11-23Merge pull request #268779 from NixOS/update-xflr5Emily Trau1-6/+5
2023-11-22phd2: 2.6.11 -> 2.6.12R. Ryantm1-2/+2
2023-11-22lp_solve: ignore implicit int warnings, add x64 darwin ldflagsannalee1-0/+6
2023-11-21cadical: 1.8.0 -> 1.9.0R. Ryantm1-2/+2
2023-11-20xflr5: 6.47 -> 6.61Andreas Rammhold1-6/+5
2023-11-20Merge pull request #267114 from katexochen/maintainers/jfrankenauajs1243-3/+3
2023-11-20easycrypt: fix runtest commandVincent Laporte1-1/+5
2023-11-20maintainers: remove jfrankenauPaul Meyer3-3/+3
2023-11-20hol_light: 2023-07-21 → 2023-11-03Vincent Laporte1-4/+6
2023-11-18eigenmath: unstable-2023-10-26 -> unstable-2023-11-17R. Ryantm1-3/+3
2023-11-18update sourcesTelepathicWalrus1-39/+39
2023-11-17treewide: s_targetPlatform_hostPlatform_ in non-compiler packagesAdam Joseph1-1/+1
2023-11-17eprover: update hash - target modified inplaceannalee1-1/+1
2023-11-16Merge master into staging-nextgithub-actions[bot]5-1/+126
2023-11-16kicadAddons.kikit,kicadAddons.kikit-library: init at 1.3.0Jeremy Fleischman5-1/+126
2023-11-16Merge branch 'master' into staging-nextVladimír Čunát3-6/+6
2023-11-15Merge pull request #267664 from r-ryantm/auto-update/eprover7c6f434c1-2/+2
2023-11-15verilator: 5.016 -> 5.018Alex Martens1-2/+2
2023-11-15gromacs: add the plumed patcheszimbatm1-4/+25
2023-11-15Merge pull request #267679 from r-ryantm/auto-update/picard-toolsNick Cao1-2/+2
2023-11-15picard-tools: 3.1.0 -> 3.1.1R. Ryantm1-2/+2
2023-11-15eprover: 2.6 -> 3.0R. Ryantm1-2/+2
2023-11-15Merge branch 'master' into staging-nextVladimír Čunát1-4/+5
2023-11-14Merge pull request #267372 from cu1ch3n/update-abellaMario Rodas1-4/+5
2023-11-14Merge master into staging-nextgithub-actions[bot]1-2/+9
2023-11-14treewide: make 'gpuBackend' use 'config.(cuda|rocm)Support'Madoura1-2/+9
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-03 19:56:40 +0000