JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
410,479 Commits 2 Branches 0 Tags 12 GiB
55ebfc59e0
Commit Graph

6563 Commits

Author SHA1 Message Date
Nikolay Korotkiy
7f12a08ee1
Merge pull request #192042 from r-ryantm/auto-update/ginac 
ginac: 1.8.3 -> 1.8.4
 2022-09-21 22:13:27 +03:00
7c6f434c
1b665201f0
Merge pull request #189891 from collares/sage-9.7 
sage: 9.6 -> 9.7
 2022-09-20 22:37:37 +00:00
Jonas Heinrich
5c26920c58
Merge pull request #191896 from r-ryantm/auto-update/mavproxy 
mavproxy: 1.8.55 -> 1.8.56
 2022-09-20 11:39:09 +02:00
R. Ryantm
fcfdc8b58e ginac: 1.8.3 -> 1.8.4 2022-09-20 08:22:40 +00:00
Mauricio Collares
d36168afa1 sage: 9.6 -> 9.7 2022-09-19 21:34:02 -03:00
R. Ryantm
0a930eb9f6 mavproxy: 1.8.55 -> 1.8.56 2022-09-19 08:53:58 +00:00
Anthony Roussel
341029d5cc
sasview: fix build 
Caused by `asscalar` numpy API removal.
See https://github.com/SasView/sasview/pull/2178
 2022-09-18 20:42:33 +02:00
superherointj
2610966118
Merge pull request #191509 from r-ryantm/auto-update/fast-downward 
fast-downward: 22.06.0 -> 22.06.1
 2022-09-18 11:28:25 -03:00
Christian Kögler
12049b4651
Merge pull request #189919 from r-ryantm/auto-update/gama 
gama: 2.21 -> 2.22
 2022-09-18 15:59:34 +02:00
Christian Kögler
e06e88d003
Merge pull request #189923 from r-ryantm/auto-update/igv 
igv: 2.14.0 -> 2.14.1
 2022-09-18 15:59:16 +02:00
Vincent Laporte
af34e3be8c ocamlPackages.cmdliner: default to 1.1 
ocamlPackages.alcotest: 1.5.0 → 1.6.0

ocamlPackages.crowbar: 0.2 → 0.2.1

ocamlPackages.dune-release: 1.5.1 → 1.6.2

ocamlPackages.functoria: 3.1.1 → 4.2.0

ocamlPackages.mirage: 3.10.7 → 4.2.0

ocamlPackages.irmin-pack: disable checks

ocamlPackages.mdx: disable checks

ocamlPackages.git-unix: mark as broken
 2022-09-18 15:03:10 +02:00
Guanpeng Xu
34b08c6c34 mathematica: 13.0.1 -> 13.1.0 2022-09-18 08:33:27 +02:00
Christian Kögler
31da214833
Merge pull request #191483 from vbgl/why3-1.5.1 
why3: 1.5.0 → 1.5.1
 2022-09-17 23:18:46 +02:00
7c6f434c
18a6fd410d
Merge pull request #191611 from r-ryantm/auto-update/clingo 
clingo: 5.6.0 -> 5.6.1
 2022-09-17 16:32:38 +00:00
R. Ryantm
5538b8f0cc nanovna-saver: 0.5.2 -> 0.5.3 2022-09-17 17:19:47 +08:00
R. Ryantm
9cb166091c clingo: 5.6.0 -> 5.6.1 2022-09-17 05:32:12 +00:00
R. Ryantm
288127f747 fast-downward: 22.06.0 -> 22.06.1 2022-09-16 15:08:28 +00:00
Vincent Laporte
cccc3b53f4
why3: 1.5.0 → 1.5.1 2022-09-16 13:29:18 +02:00
Jonas Heinrich
15055cd7f8
Merge pull request #191403 from r-ryantm/auto-update/messer-slim 
messer-slim: 4.0 -> 4.0.1
 2022-09-16 11:33:24 +02:00
Sandro
cba7f9e9ed
Merge pull request #189206 from wegank/scilab-bin-darwin 2022-09-16 10:59:26 +02:00
Weijia Wang
34456529c9 scilab-bin: add darwin support 2022-09-16 10:20:22 +02:00
R. Ryantm
9da745bfaf messer-slim: 4.0 -> 4.0.1 2022-09-15 22:25:51 +00:00
Bouke van der Bijl
079dc8c3a9 why3: use why3.version in withProvers 
I was getting an error that 'name' was not defined, which was being
caused by pname being passed in without a version.

Using the version of the why3 package resolves this.
 2022-09-15 13:51:50 +02:00
K900
42dc5a7269
Merge pull request #188924 from McSinyx/klee-llvm 
klee: use the same LLVM version for clang
 2022-09-15 10:36:25 +03:00
R. Ryantm
101fa50263 cbmc: 5.65.0 -> 5.65.1 2022-09-14 22:04:14 +08:00
7c6f434c
1cea3c2362
Merge pull request #190919 from r-ryantm/auto-update/clingo 
clingo: 5.5.2 -> 5.6.0
 2022-09-13 18:04:50 +00:00
Gabriel Ebner
38aa976494 elan: 1.4.1 -> 1.4.2 2022-09-13 11:02:26 +02:00
R. Ryantm
4fbc5fa77f nanovna-saver: 0.5.1 -> 0.5.2 2022-09-12 19:15:18 +00:00
Timo Kaufmann
f77ac81009
Merge pull request #190892 from r-ryantm/auto-update/jmol 
jmol: 14.32.73 -> 14.32.74
 2022-09-12 19:26:49 +02:00
R. Ryantm
09bed085c3 clingo: 5.5.2 -> 5.6.0 2022-09-12 11:37:36 +00:00
R. Ryantm
55e1e9a104 jmol: 14.32.73 -> 14.32.74 2022-09-12 07:15:47 +00:00
Sandro
c300be33fd
Merge pull request #186868 from lopsided98/mavproxy-update 2022-09-11 19:21:27 +02:00
Sandro Jäckel
224da23db2 sasview: remove unused input 2022-09-11 16:25:56 +02:00
Sandro
785031e430
Merge pull request #185819 from apraga/gatk-4.2.6.1 2022-09-10 21:31:42 +02:00
Christian Kögler
a25f0b9bbd
Merge pull request #190317 from r-ryantm/auto-update/nanovna-saver 
nanovna-saver: 0.4.0 -> 0.5.1
 2022-09-10 15:58:21 +02:00
R. Ryantm
6e55797c64 nanovna-saver: 0.4.0 -> 0.5.1 2022-09-10 01:28:51 +00:00
Sandro
65c1313165
Merge pull request #189758 from tjni/r-stackprotector 2022-09-10 00:41:39 +02:00
Mario Rodas
448df40425
Merge pull request #190430 from natsukium/mafft/update 
mafft: 7.505 -> 7.508
 2022-09-09 09:02:08 -05:00
Jonas Heinrich
89da4a3ace
Merge pull request #190382 from 4825764518/qalculate-qt-4.3.0 
qalculate-qt: 4.2.0 -> 4.3.0
 2022-09-09 10:45:41 +02:00
Vincent Laporte
a22abdf7c2 acgtk: 1.5.2 → 1.5.4 2022-09-09 08:53:49 +02:00
natsukium
9e65d09e3d
mafft: 7.505 -> 7.508 
changed to fetch from new gitlab repository
 2022-09-09 13:26:38 +09:00
Dmitry Kalinkin
ea1dcc4f8b
Merge pull request #189926 from veprbl/pr/root_rip_via_setup_hook 
root: populate ROOT_INCLUDE_PATH via the setupHook
 2022-09-08 19:45:45 -04:00
4825764518
4dbacd4930
qalculate-qt: 4.2.0 -> 4.3.0 2022-09-08 16:16:51 -04:00
4825764518
eeefb876af
qalculate-qt: init at 4.2.0 2022-09-08 14:20:20 -04:00
R. Ryantm
914100fd45 snakemake: 7.12.1 -> 7.14.0 2022-09-08 09:57:07 -04:00
Jonas Heinrich
eab3e4bffa
Merge pull request #190087 from victormignot/systemc 
systemc: Init at 2.3.3
 2022-09-07 21:16:40 +02:00
7c6f434c
41df56c421
Merge pull request #189784 from collares/singular-431p2 
singular: 4.3.1 -> 4.3.1p2
 2022-09-07 18:58:16 +00:00
Théo Zimmermann
4754c69e97
Merge pull request #189997 from r-ryantm/auto-update/coq_8_16 
coq_8_16: 8.16+rc1 -> 8.16.0
 2022-09-07 14:48:05 +02:00
Victor Mignot
777ba23c17
systemc: Init at 2.3.3 2022-09-07 08:04:56 -04:00
Christian Kögler
1034788cf2
Merge pull request #189339 from r-ryantm/auto-update/jmol 
jmol: 14.32.68 -> 14.32.73
 2022-09-06 22:09:07 +02:00