dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
466,830 Commits 3 Branches 0 Tags 4.3 GiB
e7eef75c5e
Commit Graph

7392 Commits

Author SHA1 Message Date
Luflosi
ddb714f68d
yices: fix typo in comment 2023-03-22 16:08:09 +01:00
Weijia Wang
120a484726
Merge pull request #220001 from wegank/isabelle-arm 
isabelle: add aarch64-linux support
 2023-03-22 16:15:34 +02:00
Nick Cao
6c4095e7af
Merge pull request #222331 from r-ryantm/auto-update/seqkit 
seqkit: 2.3.1 -> 2.4.0
 2023-03-22 16:08:39 +08:00
Vincent Laporte
48774c43cd
acgtk: use Dune 3 2023-03-21 13:05:53 +01:00
R. Ryantm
a6f33bd62f seqkit: 2.3.1 -> 2.4.0 2023-03-21 10:45:22 +00:00
Vincent Laporte
e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
 2023-03-20 20:45:47 +01:00
Weijia Wang
802b7ac3e7
Merge pull request #221743 from r-ryantm/auto-update/gatk 
gatk: 4.3.0.0 -> 4.4.0.0
 2023-03-20 14:33:37 +02:00
Mauricio Collares
bd3de7859d
Merge pull request #221718 from wegank/sage-fix 
sage: add libpng to sagelib, import package update patches
 2023-03-19 19:31:02 +01:00
Weijia Wang
2572ddc706
Merge pull request #221977 from wegank/mavproxy-wx 
mavproxy: migrate to wxPython_4_2
 2023-03-19 20:00:39 +02:00
Weijia Wang
a1e27cf0e9 sage: add libpng to sagelib 2023-03-19 19:33:36 +02:00
Mauricio Collares
c13d98c7bf sage: import python package upgrade fixes 2023-03-19 19:32:56 +02:00
natsukium
21affa5ff1
trf: init at 4.09.1 2023-03-19 22:25:42 +09:00
Weijia Wang
4fe9738427 mavproxy: migrate to wxPython_4_2 2023-03-19 10:29:51 +02:00
Weijia Wang
7574e25ef3
Merge pull request #221864 from natsukium/mafft/update 
mafft: 7.508 -> 7.515
 2023-03-19 00:03:19 +02:00
Weijia Wang
0ddc01c569 glucose: refactor 2023-03-18 19:00:45 +02:00
natsukium
f3b75ef3ce
mafft: 7.508 -> 7.515 2023-03-19 00:42:29 +09:00
Weijia Wang
f15cf7e6af
Merge pull request #221809 from wegank/nest-bump 
nest: 3.3 -> 3.4
 2023-03-18 17:17:18 +02:00
Weijia Wang
b45fe715d9
Merge pull request #217922 from r-ryantm/auto-update/openboardview 
openboardview: 9.0.3 -> 9.95.0
 2023-03-18 13:00:52 +02:00
Fabian Affolter
109f8ccdfe
nest: specify license 2023-03-18 11:23:52 +01:00
Fabian Affolter
c7ec291235
nest: add changelog to meta 2023-03-18 11:23:06 +01:00
Weijia Wang
ea847dd1a0 nest: 3.3 -> 3.4 2023-03-18 12:13:46 +02:00
R. Ryantm
0d44f838ca gatk: 4.3.0.0 -> 4.4.0.0 2023-03-18 01:10:14 +00:00
K900
a5a292c7a8 treewide: clear out remaining qt5 conditionals 2023-03-18 02:10:20 +03:00
Markus Kowalewski
545b5d04f4
openmolcas: 22.10 -> 23.02 2023-03-17 13:33:41 +01:00
Weijia Wang
9c8a92bcde
Merge pull request #205310 from r-ryantm/auto-update/sumo 
sumo: 1.9.2 -> 1.15.0
 2023-03-17 12:56:48 +02:00
Weijia Wang
854414836c
Merge pull request #221529 from wegank/qalculate-qt-darwin 
qalculate-qt: add darwin support
 2023-03-17 07:47:56 +02:00
Justin Bedő
bf32c70253
Merge pull request #221559 from r-ryantm/auto-update/subread 
subread: 2.0.3 -> 2.0.4
 2023-03-17 01:57:57 +00:00
R. Ryantm
2a35b86739 subread: 2.0.3 -> 2.0.4 2023-03-16 23:09:44 +00:00
markuskowa
0fea9287f4
Merge pull request #221301 from sheepforce/plumed 
plumed: init at 2.8.2
 2023-03-16 20:43:54 +01:00
Weijia Wang
5c214fb163 qalculate-qt: add darwin support 2023-03-16 21:31:51 +02:00
Weijia Wang
183c970c9a
Merge pull request #221403 from r-ryantm/auto-update/gama 
gama: 2.23 -> 2.24
 2023-03-16 18:03:12 +02:00
Weijia Wang
de6210e074
Merge pull request #217539 from GenericNerdyUsername/horizon-occ 
horizon-eda: switch from OCE to OCC
 2023-03-16 17:20:47 +02:00
Bernardo Meurer
6e55733359
Merge pull request #219747 from Stunkymonkey/deprecate-isNull 2023-03-16 11:10:22 -03:00
Phillip Seeber
09b52c631a cp2k: enable plumed plugin 
cp2k: enable plumed plugin


cp2k: use mpicxx to figure out link lines
 2023-03-16 14:30:27 +01:00
Weijia Wang
b3e468975f
Merge pull request #221402 from r-ryantm/auto-update/uarmsolver 
uarmsolver: 0.2.4 -> 0.2.5
 2023-03-16 09:09:24 +02:00
R. Ryantm
166bed2b29 gama: 2.23 -> 2.24 2023-03-16 00:43:50 +00:00
R. Ryantm
139df052d5 uarmsolver: 0.2.4 -> 0.2.5 2023-03-16 00:42:06 +00:00
Weijia Wang
b8aec5ff2d
Merge pull request #221107 from r-ryantm/auto-update/openhantek6022 
openhantek6022: 3.3.2.1 -> 3.3.2.2
 2023-03-15 22:09:12 +02:00
Martin Weinelt
9e4d592114
Merge remote-tracking branch 'origin/master' into staging-next 
Conflicts:
- pkgs/development/python-modules/eve/default.nix
 2023-03-14 16:49:37 +01:00
Weijia Wang
6bade5f7df tamarin-prover: only use glibcLocales on linux 2023-03-14 15:55:12 +02:00
Martin Weinelt
6b67186fe9
Merge remote-tracking branch 'origin/master' into staging-next 
Conflicts:
- pkgs/development/python-modules/crownstone-cloud/default.nix
- pkgs/development/python-modules/exrex/default.nix
- pkgs/development/python-modules/mkdocs-minify/default.nix
- pkgs/development/python-modules/myjwt/default.nix
- pkgs/development/tools/analysis/checkov/default.nix
 2023-03-14 08:14:26 +01:00
Weijia Wang
5a0dde3bf1
Merge pull request #221042 from r-ryantm/auto-update/calc 
calc: 2.14.1.3 -> 2.14.1.5
 2023-03-14 08:23:20 +02:00
R. Ryantm
58a2c5a184 openhantek6022: 3.3.2.1 -> 3.3.2.2 2023-03-14 03:37:23 +00:00
Artturi
b978bf0f0f
Merge pull request #220570 from Artturin/fixlints1 2023-03-14 02:15:55 +02:00
R. Ryantm
70723fce93 calc: 2.14.1.3 -> 2.14.1.5 2023-03-13 18:59:18 +00:00
Vladimír Čunát
2d51a0e8ad
Merge branch 'master' into staging-next 2023-03-13 08:25:10 +01:00
Austin Seipp
787381926a tamarin-prover: set LOCALE_ARCHIVE in wrapper 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2023-03-12 19:06:58 -05:00
Luflosi
e8f1fcd350 abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23 2023-03-12 18:10:19 -05:00
Martin Weinelt
5abe72f0b2 Merge remote-tracking branch 'origin/master' into staging-next 
Conflicts:
- pkgs/development/python-modules/mdutils/default.nix
 2023-03-12 15:59:15 +01:00
Mauricio Collares
652e253e26
Merge pull request #220559 from amesgen/fix-sage 
sage: fix build by downgrading maxima to 5.45
 2023-03-12 14:51:57 +01:00