about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-07-10Merge pull request #180675 from collares/singular-4.3.17c6f434c1-4/+3
2022-07-10Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann1-2/+3
2022-07-10Merge pull request #180920 from smancill/gaw-platformsRick van Schijndel1-2/+1
2022-07-09gaw: mark as Linux-onlySebastián Mancilla1-2/+1
2022-07-09ginac: mark as unbroken on darwinSebastián Mancilla1-1/+0
2022-07-08Merge pull request #180535 from wegank/nvc-initAnderson Torres1-0/+67
2022-07-08Prepare Coq derivation for Coq 8.17 build infrastructure.Théo Zimmermann1-2/+16
2022-07-08singular: 4.3.0 -> 4.3.1Mauricio Collares1-4/+3
2022-07-08nvc: init at 1.6.2Weijia Wang1-0/+67
2022-07-07klee: 2.2 -> 2.3Jonas Heinrich2-46/+33
2022-07-07Merge pull request #178552 from jiegec/gtkwave-darwinRick van Schijndel3-3/+154
2022-07-06Merge pull request #180294 from NixOS/r-updatesJustin Bedő1-2/+2
2022-07-04snakemake: 7.8.3 -> 7.8.5 (#179874)R. RyanTM1-2/+2
2022-07-04Merge pull request #179905 from Luflosi/update/boincBobby Rong1-2/+2
2022-07-04archimedes: use latest toolchain, not gcc-6Sergei Trofimovich1-1/+11
2022-07-02boinc: 7.20.0 -> 7.20.1Luflosi1-2/+2
2022-07-01Revert "sage: link doc in jupyter kernel"Sandro Jäckel1-2/+2
2022-07-01Merge pull request #178895 from collares/sage-notebook7c6f434c1-0/+1
2022-07-01Merge pull request #164048 from hqurve/jupyter-extra-paths7c6f434c1-2/+2
2022-06-30Merge pull request #178505 from evils/kicad-unstableBobby Rong2-15/+14
2022-06-30Merge pull request #178501 from evils/kicad-6.0.6Bobby Rong1-12/+12
2022-06-29maintainers: remove windenajs1241-1/+1
2022-06-29maintainers: remove metabarajs1242-2/+2
2022-06-29maintainers: remove danharajajs1241-1/+1
2022-06-27gtkwave: support darwin buildJiajie Chen3-3/+154
2022-06-27Merge master into staging-nextgithub-actions[bot]3-10/+66
2022-06-26Merge pull request #179128 from r-ryantm/auto-update/gmshMario Rodas1-2/+2
2022-06-26Merge pull request #178481 from siraben/formula-updateIvv2-8/+64
2022-06-26Merge master into staging-nextgithub-actions[bot]1-2/+2
2022-06-26Merge pull request #165866 from r-ryantm/auto-update/ginacBobby Rong1-2/+2
2022-06-26gmsh: 4.10.2 -> 4.10.4R. Ryantm1-2/+2
2022-06-26Merge master into staging-nextgithub-actions[bot]1-0/+2
2022-06-25mathematica: set QT_QPA_PLATFORM to xcb (#178991)Doron Behar1-0/+2
2022-06-25Merge master into staging-nextgithub-actions[bot]1-3/+3
2022-06-25Merge pull request #178569 from eintim/betaflight-configuratorMartin Weinelt1-3/+3
2022-06-25sage: depend on python3Packages.notebookMauricio Collares1-0/+1
2022-06-25R: 4.2.0 -> 4.2.1Justin Bedo1-2/+2
2022-06-24Merge master into staging-nextgithub-actions[bot]28-6/+46
2022-06-23Merge pull request #177268 from Luflosi/update/boincLassulus1-3/+3
2022-06-23Merge pull request #176823 from risicle/ris-native-source-provenance-applicat...Rick van Schijndel27-3/+43
2022-06-23Merge master into staging-nextgithub-actions[bot]2-4/+14
2022-06-23fahcontrol: remove autoPatchelfHook argumentRobert Scott1-1/+0
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott26-2/+43
2022-06-23isabelle: Fix build on darwinShea Levy1-4/+12
2022-06-23z3_4_4_0: Fix build on darwin.Shea Levy1-0/+2
2022-06-22formula: unmark as broken on darwinBen Siraphob1-1/+1
2022-06-22formula: unstable-2022-02-02 -> unstable-2022-06-20Ben Siraphob2-6/+60
2022-06-22formula: add update scriptBen Siraphob1-1/+3
2022-06-23Merge staging-next into staginggithub-actions[bot]1-1/+0
2022-06-22veriT: Fix build on macosHernan Rajchert1-1/+0
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-18 14:11:28 +0000