about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2024-04-29why3: 1.7.1 → 1.7.2Vincent Laporte1-2/+2
2024-04-10klee: 3.0 -> 3.1Morgan Jones2-5/+7
2024-03-27alt-ergo: 2.5.2 → 2.5.3Vincent Laporte1-2/+2
2024-03-17Merge pull request #291164 from evils/kicad-23.11Pol Dellaiera1-12/+12
2024-02-24geogebra: linked icon to archive.orgJulius Schmitt1-1/+1
2024-02-24kicad: 7.0.10 -> 7.0.11Evils1-11/+11
2024-02-24kicad: 7.0.9 -> 7.0.10Evils1-12/+12
2024-02-14xfitter: fix for recent clangDmitry Kalinkin1-0/+2
2024-01-30root: 6.28.10 -> 6.28.12Dmitry Kalinkin1-2/+2
2024-01-29Merge pull request #284719 from NixOS/backport-283101-to-release-23.11Nick Cao2-5/+22
2024-01-29why3: move the OCaml library to its own dev outputVincent Laporte2-1/+9
2024-01-29why3: make it easy to disable IDE supportVincent Laporte1-2/+11
2024-01-29why3: 1.7.0 → 1.7.1Vincent Laporte1-2/+2
2024-01-29dsview: build for darwinKarolis Stasaitis2-7/+8
2024-01-17Merge release-23.11 into staging-next-23.11github-actions[bot]1-0/+13
2024-01-16msat: init at 0.9.1Vincent Laporte1-0/+13
2024-01-14Merge release-23.11 into staging-next-23.11github-actions[bot]1-2/+2
2024-01-13gtkwave: 3.3.117 -> 3.3.118R. Ryantm1-2/+2
2024-01-09Merge release-23.11 into staging-next-23.11github-actions[bot]2-17/+2
2024-01-08dcmtk: 3.6.7 -> 3.6.8Thomas Gerbet2-17/+2
2024-01-06Merge staging-next-23.11 into staging-23.11github-actions[bot]1-2/+2
2024-01-04dataexplorer: 3.8.0 -> 3.8.3R. Ryantm1-2/+2
2023-12-19Merge staging-next-23.11 into staging-23.11github-actions[bot]1-5/+8
2023-12-17xyce: 7.6.0 -> 7.7.0Federico Beffa1-5/+8
2023-12-17Merge staging-next-23.11 into staging-23.11github-actions[bot]1-2/+2
2023-12-16Merge pull request #271132 from NixOS/backport-271084-to-release-23.11Mario Rodas1-2/+2
2023-12-11gromacs: drop cudatoolkit.runSomeone Serge1-5/+29
2023-12-10root: 6.28.08 -> 6.28.10Dmitry Kalinkin1-2/+2
2023-12-08nvc: 1.10.4 -> 1.11.0Weijia Wang1-2/+2
2023-12-07caffe: fix eval when CUDNN is not availableConnor Baker1-13/+14
2023-12-05clp: unbreak on aarch64-linuxWeijia Wang1-1/+1
2023-12-02why3: 1.6.0 → 1.7.0Vincent Laporte1-3/+8
2023-11-30lean4: 4.2.0 -> 4.3.0Mario Rodas1-2/+2
2023-11-29surelog: 1.76 -> 1.80Henner Zeller1-2/+2
2023-11-29uhdm: 1.77 -> 1.80Henner Zeller1-2/+2
2023-11-27xearth: improve meta.licenseMarcFontaine1-2/+6
2023-11-26lp_solve: ignore implicit int warnings, add x64 darwin ldflagsannalee1-0/+6
2023-11-26kicad: 7.0.8 -> 7.0.9Evils1-11/+11
2023-11-26kicad: 7.0.7 -> 7.0.8Evils1-12/+12
2023-11-26Merge pull request #269824 from NixOS/backport-269640-to-release-23.11OTABI Tomoya1-2/+2
2023-11-25root: fix excessive build log sizeDmitry Kalinkin1-0/+3
2023-11-25dssp: 4.4.4.1 -> 4.4.5natsukium1-2/+2
2023-11-23lean4: fix build on darwinMario Rodas1-0/+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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-15 21:21:41 +0000