about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2024-04-06Merge staging-next into staginggithub-actions[bot]1-1/+1
2024-04-05Merge pull request #301704 from a-n-n-a-l-e-e/throw-unsupported-srca-n-n-a-l-e-e1-1/+1
2024-04-05Merge staging-next into staginggithub-actions[bot]4-41/+101
2024-04-05Merge pull request #301348 from symphorien/update_bitwuzlaWeijia Wang4-41/+101
2024-04-05Merge staging-next into staginggithub-actions[bot]1-1/+1
2024-04-05Merge pull request #300817 from quentinmit/kicad-licenseAleksana1-1/+1
2024-04-05treewide: throw on unsupported system src accessannalee1-1/+1
2024-04-04minimap2: 2.27 -> 2.28R. Ryantm1-2/+2
2024-04-04Merge staging-next into staginggithub-actions[bot]1-2/+2
2024-04-04Merge pull request #301208 from marsam/update-lean4Mario Rodas1-2/+2
2024-04-04Merge staging-next into staginggithub-actions[bot]1-4/+3
2024-04-03librepcb: 1.0.0 -> 1.1.0Luz1-4/+3
2024-04-03Merge staging-next into staginggithub-actions[bot]1-7/+5
2024-04-03kstars: 3.6.9 -> 3.7.0 + fixing build failureBruno Bzeznik1-7/+5
2024-04-03bitwuzla: test on aarch64-linuxGuillaume Girol1-2/+2
2024-04-03bitwuzla: fix on aarch64-linuxGuillaume Girol1-0/+10
2024-04-03bitwuzla: fix build with doCheck = falseGuillaume Girol1-8/+14
2024-04-03cryptominisat: fix static buildGuillaume Girol1-2/+8
2024-04-03cadical: fix static buildGuillaume Girol1-0/+5
2024-04-03bitwuzla: unstable-2022-10-03 -> 0.4.0Guillaume Girol1-27/+13
2024-04-03symfpu: install headers in $out/include, add a pkg-config fileGuillaume Girol1-3/+26
2024-04-03cadical: add pkg-config fileGuillaume Girol1-1/+25
2024-04-03lean4: 4.6.1 -> 4.7.0Mario Rodas1-2/+2
2024-04-03nvc: gate elfutils on package availability rather than isLinuxPhilip Taron1-1/+1
2024-04-02Merge remote-tracking branch 'upstream/staging-next' into stagingannalee1-0/+7
2024-04-02Merge pull request #300930 from collares/sage-quaternionalgebraMauricio Collares1-0/+7
2024-04-02sage: work around QuaternionAlgebra random test failureMauricio Collares1-0/+7
2024-04-01kicad: fix licenseQuentin Smith1-1/+1
2024-04-02Merge staging-next into staginggithub-actions[bot]1-2/+4
2024-04-02Merge pull request #300290 from NixOS/colmap-autoaddWeijia Wang1-2/+4
2024-04-01boinc: 7.24.3 -> 8.0.1R. Ryantm1-2/+2
2024-04-01colmap: use pkgs.autoAddDriverRunpathJonathan Ringer1-2/+4
2024-04-01Merge staging-next into staginggithub-actions[bot]3-7/+7
2024-04-01Merge pull request #276432 from r-ryantm/auto-update/surelogWeijia Wang1-2/+2
2024-04-01Merge pull request #297595 from r-ryantm/auto-update/uhdmWeijia Wang1-2/+2
2024-03-31Merge pull request #299968 from wegank/gurobi-bumpWeijia Wang1-3/+3
2024-03-31Merge remote-tracking branch 'upstream/staging-next' into stagingannalee2-9/+250
2024-03-31Merge branch 'master' into haskell-updatesNaïm Favier6-74/+76
2024-03-31Merge staging-next into staginggithub-actions[bot]1-2/+3
2024-03-31Merge pull request #298093 from r-ryantm/auto-update/python311Packages.snakem...Dmitry Kalinkin1-2/+3
2024-03-31snakemake: 8.4.12 -> 8.10.4Dmitry Kalinkin1-2/+3
2024-03-31Merge staging-next into staginggithub-actions[bot]2-40/+53
2024-03-30Merge pull request #300278 from jonringer/lammps-autoaddSomeone1-2/+2
2024-03-30Merge pull request #300266 from Cryolitia/labelimgWeijia Wang1-38/+51
2024-03-30Merge staging-next into staginggithub-actions[bot]2-4/+4
2024-03-30Merge pull request #298216 from r-ryantm/auto-update/psppWeijia Wang1-2/+2
2024-03-30lammps: use pkgs.autoAddDriverRunpathJonathan Ringer1-2/+2
2024-03-31labelImg: re-format with `nixfmt-rfc-style`北雁 Cryolitia1-49/+50
2024-03-31labelImg: 1.8.3 -> 1.8.6北雁 Cryolitia1-4/+16
2024-03-30Merge pull request #299873 from r-ryantm/auto-update/rofi-calcNick Cao1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-13 02:50:18 +0000