summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-07-18Merge pull request #178456 from collares/eclib-202206217c6f434c1-0/+7
2022-07-18Merge pull request #181071 from collares/nauty-2.7r47c6f434c1-2/+2
2022-07-17Merge pull request #163964 from yuuyins/strictdocSandro2-0/+115
2022-07-16strictdoc: init at 0.0.26yuu2-0/+115
2022-07-16Merge pull request #176321 from siraben/smtcoq-fixBen Siraphob1-5/+9
2022-07-16Merge pull request #181622 from siraben/formula-mainprogramBen Siraphob1-0/+1
2022-07-16Merge pull request #180821 from r-ryantm/auto-update/nextinspaceMario Rodas1-3/+3
2022-07-16Merge pull request #181078 from r-ryantm/auto-update/gmshMario Rodas1-2/+2
2022-07-16Merge pull request #174547 from r-ryantm/auto-update/dellyLassulus1-2/+2
2022-07-16jflap: refactoring, add xdg desktop item (#173905)yuuyins2-33/+70
2022-07-16Merge pull request #138255 from natsukium/mafft/initPascal Wittmann1-0/+27
2022-07-15formula: add mainProgramBen Siraphob1-0/+1
2022-07-15vhd2vl: Fix executable name (#177493)Aiken Cairncross2-38/+8
2022-07-12Merge pull request #174451 from r-ryantm/auto-update/nengo-guiRick van Schijndel1-3/+3
2022-07-12graphia: 2.2 -> 3.0Jonas Heinrich2-4/+31
2022-07-12Merge pull request #180450 from wegank/lp_solve-aarch64-darwinSandro1-13/+22
2022-07-11Merge pull request #180296 from r-ryantm/auto-update/bada-bibBobby Rong1-3/+8
2022-07-11gmsh: 4.10.4 -> 4.10.5R. Ryantm1-2/+2
2022-07-11nauty: 2.7r3 -> 2.7r4Mauricio Collares1-2/+2
2022-07-11sage: apply eclib 20220621 update patchMauricio Collares1-0/+7
2022-07-11bada-bib: add missing libadwaita and gtksourceview5 dependencyBobby Rong1-1/+6
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-09nextinspace: 2.0.3 -> 2.0.5R. Ryantm1-3/+3
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-07delly: 0.9.1 -> 1.0.3R. Ryantm1-2/+2
2022-07-07klee: 2.2 -> 2.3Jonas Heinrich2-46/+33
2022-07-07lp_solve: fix build on aarch64-darwinWeijia Wang1-13/+22
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-06bada-bib: 0.6.2 -> 0.7.2R. Ryantm1-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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 00:41:45 +0000