about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2023-03-22yices: fix typo in commentLuflosi1-1/+1
2023-03-22Merge pull request #220001 from wegank/isabelle-armWeijia Wang1-5/+15
2023-03-22Merge pull request #222331 from r-ryantm/auto-update/seqkitNick Cao1-3/+3
2023-03-21acgtk: use Dune 3Vincent Laporte1-2/+2
2023-03-21seqkit: 2.3.1 -> 2.4.0R. Ryantm1-3/+3
2023-03-20why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)Vincent Laporte2-7/+10
2023-03-20Merge pull request #221743 from r-ryantm/auto-update/gatkWeijia Wang1-2/+2
2023-03-19Merge pull request #221718 from wegank/sage-fixMauricio Collares3-0/+77
2023-03-19Merge pull request #221977 from wegank/mavproxy-wxWeijia Wang1-2/+2
2023-03-19sage: add libpng to sagelibWeijia Wang1-0/+2
2023-03-19sage: import python package upgrade fixesMauricio Collares2-0/+75
2023-03-19trf: init at 4.09.1natsukium1-0/+21
2023-03-19mavproxy: migrate to wxPython_4_2Weijia Wang1-2/+2
2023-03-19Merge pull request #221864 from natsukium/mafft/updateWeijia Wang1-3/+3
2023-03-18glucose: refactorWeijia Wang2-31/+20
2023-03-19mafft: 7.508 -> 7.515natsukium1-3/+3
2023-03-18Merge pull request #221809 from wegank/nest-bumpWeijia Wang1-4/+5
2023-03-18Merge pull request #217922 from r-ryantm/auto-update/openboardviewWeijia Wang1-2/+2
2023-03-18nest: specify licenseFabian Affolter1-1/+1
2023-03-18nest: add changelog to metaFabian Affolter1-1/+2
2023-03-18nest: 3.3 -> 3.4Weijia Wang1-3/+3
2023-03-18gatk: 4.3.0.0 -> 4.4.0.0R. Ryantm1-2/+2
2023-03-18treewide: clear out remaining qt5 conditionalsK9001-2/+1
2023-03-17openmolcas: 22.10 -> 23.02Markus Kowalewski2-29/+3
2023-03-17Merge pull request #205310 from r-ryantm/auto-update/sumoWeijia Wang1-2/+2
2023-03-17Merge pull request #221529 from wegank/qalculate-qt-darwinWeijia Wang1-2/+9
2023-03-17Merge pull request #221559 from r-ryantm/auto-update/subreadJustin Bedő1-2/+2
2023-03-16subread: 2.0.3 -> 2.0.4R. Ryantm1-2/+2
2023-03-16Merge pull request #221301 from sheepforce/plumedmarkuskowa1-3/+9
2023-03-16qalculate-qt: add darwin supportWeijia Wang1-2/+9
2023-03-16Merge pull request #221403 from r-ryantm/auto-update/gamaWeijia Wang1-2/+2
2023-03-16Merge pull request #217539 from GenericNerdyUsername/horizon-occWeijia Wang1-3/+3
2023-03-16Merge pull request #219747 from Stunkymonkey/deprecate-isNullBernardo Meurer1-1/+1
2023-03-16cp2k: enable plumed pluginPhillip Seeber1-3/+9
2023-03-16Merge pull request #221402 from r-ryantm/auto-update/uarmsolverWeijia Wang1-2/+2
2023-03-16gama: 2.23 -> 2.24R. Ryantm1-2/+2
2023-03-16uarmsolver: 0.2.4 -> 0.2.5R. Ryantm1-2/+2
2023-03-15Merge pull request #221107 from r-ryantm/auto-update/openhantek6022Weijia Wang1-2/+2
2023-03-14Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt1-1/+3
2023-03-14tamarin-prover: only use glibcLocales on linuxWeijia Wang1-1/+3
2023-03-14Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt2-8/+8
2023-03-14Merge pull request #221042 from r-ryantm/auto-update/calcWeijia Wang1-2/+2
2023-03-14openhantek6022: 3.3.2.1 -> 3.3.2.2R. Ryantm1-2/+2
2023-03-14Merge pull request #220570 from Artturin/fixlints1Artturi1-6/+6
2023-03-13calc: 2.14.1.3 -> 2.14.1.5R. Ryantm1-2/+2
2023-03-13Merge branch 'master' into staging-nextVladimír Čunát2-4/+5
2023-03-12tamarin-prover: set LOCALE_ARCHIVE in wrapperAustin Seipp1-1/+2
2023-03-12abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23Luflosi1-3/+3
2023-03-12Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt2-1/+127
2023-03-12Merge pull request #220559 from amesgen/fix-sageMauricio Collares2-1/+127
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 01:49:44 +0000