about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Collapse)AuthorFilesLines
2024-04-29why3: 1.7.1 → 1.7.2Vincent Laporte1-2/+2
(cherry picked from commit 89e1ebb1e06b6fd415397f9cd76b9ff38488e511)
2024-04-10klee: 3.0 -> 3.1Morgan Jones2-5/+7
(cherry picked from commit 80d57056bcee596bcd66b7d5d9f4b51bb99a1c9f)
2024-03-27alt-ergo: 2.5.2 → 2.5.3Vincent Laporte1-2/+2
(cherry picked from commit 2664f3af579af29779fe82fb5252a4f53d846c8d)
2024-03-17Merge pull request #291164 from evils/kicad-23.11Pol Dellaiera1-12/+12
[23.11] kicad: 7.0.9 -> 7.0.11
2024-02-24geogebra: linked icon to archive.orgJulius Schmitt1-1/+1
(cherry picked from commit a18382a83b2557c3a1fac4076cf3528c46d19802)
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
(cherry picked from commit 8c05257ba416f7271d14f34d8467fd41346832fc)
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
[Backport release-23.11] why3: 1.7.0 → 1.7.1 & related fixes & improvements
2024-01-29why3: move the OCaml library to its own dev outputVincent Laporte2-1/+9
(cherry picked from commit fc9bf3f31e15657978200e81ef3d9e9f75e581ad)
2024-01-29why3: make it easy to disable IDE supportVincent Laporte1-2/+11
easycrypt: use why3 without IDE support (cherry picked from commit 4bc83631869dcfcb4d56d7b32d227a9e5a2c8095)
2024-01-29why3: 1.7.0 → 1.7.1Vincent Laporte1-2/+2
(cherry picked from commit f05eb10a22bcf1a1c03bb19605b355ebe84c5bc7)
2024-01-29dsview: build for darwinKarolis Stasaitis2-7/+8
(cherry picked from commit d2f2058b0a593f260952ab438e91cbefb9eef2cd)
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
(cherry picked from commit 21fa6037537816946986a5db1ed0e1214f94965c)
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
(cherry picked from commit 733efba1f5a5f645481fdba4035293611a6d0028)
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
Fixes CVE-2022-43272. Changes: https://github.com/DCMTK/dcmtk/compare/DCMTK-3.6.7...DCMTK-3.6.8 (cherry picked from commit d99ca3f1cd72f648f2dbb7f36a70d4b4126836e6)
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
(cherry picked from commit 025e631d48ceef759fb331ae4fe01df71e7f0efd)
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
(cherry picked from commit 344d4e77da0abbc482025bd2da7ac069d97aaad0)
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
[Backport release-23.11] lean4: 4.2.0 -> 4.3.0
2023-12-11gromacs: drop cudatoolkit.runSomeone Serge1-5/+29
(cherry picked from commit 31f1b517cdea429dc7a6c212ca650ea184c75a93)
2023-12-10root: 6.28.08 -> 6.28.10Dmitry Kalinkin1-2/+2
(cherry picked from commit 190cb5fc41b631d2addd82845d7e5a184dd6a8fd)
2023-12-08nvc: 1.10.4 -> 1.11.0Weijia Wang1-2/+2
(cherry picked from commit 4598bad93185e72f098adf90c49a3ca6f99becff)
2023-12-07caffe: fix eval when CUDNN is not availableConnor Baker1-13/+14
(cherry picked from commit 855a7ba029eaf78c959c88b36fdf5760742b2b1e)
2023-12-05clp: unbreak on aarch64-linuxWeijia Wang1-1/+1
(cherry picked from commit 2eba76d1a61099def61997dd0083c2414ed4e0d4)
2023-12-02why3: 1.6.0 → 1.7.0Vincent Laporte1-3/+8
(cherry picked from commit ef6c49fa50dc30c544afd952170efb295f33c6f5)
2023-11-30lean4: 4.2.0 -> 4.3.0Mario Rodas1-2/+2
Diff: https://github.com/leanprover/lean4/compare/v4.2.0...v4.3.0 Changelog: https://github.com/leanprover/lean4/blob/v4.3.0/RELEASES.md (cherry picked from commit cbcf0e94ac74d1f1ddb4c6026b77092a0b484da8)
2023-11-29surelog: 1.76 -> 1.80Henner Zeller1-2/+2
(cherry picked from commit 361918e36be0b40cfdc888bd3f5982764dc897e7)
2023-11-29uhdm: 1.77 -> 1.80Henner Zeller1-2/+2
(cherry picked from commit 3ea9cd231b9936ae483cf750455491165a87707f)
2023-11-27xearth: improve meta.licenseMarcFontaine1-2/+6
(cherry picked from commit 428dc289daec1f51162116c158157348289088c0)
2023-11-26lp_solve: ignore implicit int warnings, add x64 darwin ldflagsannalee1-0/+6
the configuration code generates small c programs with a main function sans return type specifer. this causes clang builds to fail. add '-Wno-error=implicit-int' to fix the build. add -headerpad_max_install_names to env.NIX_LDFLAGS for x64 darwin (cherry picked from commit 540ea20215f48e308cd08ef4e705d2fa08ada11e)
2023-11-26kicad: 7.0.8 -> 7.0.9Evils1-11/+11
(cherry picked from commit 3580ff791fea0da169e2f23a53e57293fddc28d2)
2023-11-26kicad: 7.0.7 -> 7.0.8Evils1-12/+12
(cherry picked from commit 6d6e7afdc8c80e44b5dbfd50757439d9e3d91da2)
2023-11-26Merge pull request #269824 from NixOS/backport-269640-to-release-23.11OTABI Tomoya1-2/+2
[Backport release-23.11] dssp: 4.4.4.1 -> 4.4.5
2023-11-25root: fix excessive build log sizeDmitry Kalinkin1-0/+3
(cherry picked from commit 8ae6154b2b49aedae4421aefe32494a1e4373de1)
2023-11-25dssp: 4.4.4.1 -> 4.4.5natsukium1-2/+2
Diff: https://github.com/PDB-REDO/dssp/compare/refs/tags/v4.4.4.1...v4.4.5 Changelog: https://github.com/PDB-REDO/libcifpp/releases/tag/refs/tags/v4.4.5 (cherry picked from commit 87a4074d00226c4cd71c0e25333dfda03a9a4c7b)
2023-11-23lean4: fix build on darwinMario Rodas1-0/+5
(cherry picked from commit b9a67f73176d44ff1b293a7ac9b241e919065b07)
2023-11-20Merge pull request #267114 from katexochen/maintainers/jfrankenauajs1243-3/+3
maintainers: remove jfrankenau
2023-11-20easycrypt: fix runtest commandVincent Laporte1-1/+5
The `ec-runtest` program is still available as a separate easycrypt-runtest package, but the `easycrypt runtest` command now also works out-of-the-box.
2023-11-20maintainers: remove jfrankenauPaul Meyer3-3/+3
due to inactivity.
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
stdenv.targetPlatform really shouldn't be used by software that doesn't generate or manipulate binaries. I reviewed all uses of targetPlatform outside of pkgs/development/compilers and pkgs/stdenv and replaced those which weren't involved in something which fits these criteria.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-15 23:36:16 +0000