Commit Graph

3514 Commits

Author SHA1 Message Date
Timo Kaufmann
d34fa6ed44
Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2
palp: fix hash
2020-05-27 22:34:12 +00:00
Timo Kaufmann
b74991703a palp: fix hash
The file was modified for the second time now. I'll try to contact
upstream about this. Maybe 2.11 is not actually a finished product yet.
2020-05-28 00:20:30 +02:00
R. RyanTM
8295aa6d8b cryptominisat: 5.7.0 -> 5.7.1 2020-05-27 13:51:14 -07:00
R. RyanTM
f4e01832ed marvin: 20.10.0 -> 20.12.0 2020-05-27 12:11:37 -07:00
R. RyanTM
5841bc46f8 proverif: 2.00 -> 2.01 2020-05-27 12:07:52 -07:00
Jörg Thalheim
660854a266
Merge pull request #88916 from zowoq/patches 2020-05-27 06:54:01 +01:00
Benjamin Hipple
f04a5af0cc
Merge pull request #82180 from bcdarwin/bppcore
bppsuite: init at 2.4.1
2020-05-26 21:07:25 -04:00
Lassulus
ed25a12070
Merge pull request #70487 from esclear/xflr5
xflr5: init at 6.47
2020-05-27 00:00:05 +02:00
zowoq
cb4cc7a480 sad: use patch file extension 2020-05-26 14:50:50 +10:00
Benjamin Hipple
d3082a31cd
Merge pull request #87544 from bcdarwin/vtk-8
vtk: 7.1.1 -> 8.2.0
2020-05-26 00:24:28 -04:00
Ben Darwin
45cd7beeb2 bppsuite: init at 2.4.1 2020-05-25 21:13:02 -04:00
Ryan Mulligan
85898181b0
Merge pull request #88844 from r-ryantm/auto-update/picard-tools
picard-tools: 2.22.7 -> 2.22.8
2020-05-25 06:09:11 -07:00
Mario Rodas
bc4469005e
Merge pull request #88824 from r-ryantm/auto-update/lean
lean: 3.13.1 -> 3.14.0
2020-05-24 22:49:35 -05:00
R. RyanTM
a60a040236 picard-tools: 2.22.7 -> 2.22.8 2020-05-25 01:25:17 +00:00
R. RyanTM
7573e99a60 lean: 3.13.1 -> 3.14.0 2020-05-24 22:22:11 +00:00
R. RyanTM
c1b7c7e87c
snakemake: 5.16.0 -> 5.17.0 (#88766) 2020-05-24 13:32:14 -04:00
Dmitry Kalinkin
9eb3f39bca
Merge pull request #88713 from veprbl/pr/sherpa_2_2_10
sherpa: 2.2.9 -> 2.2.10
2020-05-23 21:56:57 -04:00
Dmitry Kalinkin
e6282f9f6c
sherpa: 2.2.9 -> 2.2.10 2020-05-23 16:22:08 -04:00
Ryan Mulligan
5505be7840
Merge pull request #88568 from r-ryantm/auto-update/last
last: 1060 -> 1061
2020-05-23 11:42:47 -07:00
Frederik Rietdijk
bc3c3b4a59 pythonPackages.kicad: bindings to kicad
Add the Python bindings for kicad.

Following now functions

    $ nix run "(import ./. {}).python3.withPackages(ps: with ps; [ kicad  ])" -c python3 -c "import pcbnew"

Have not tested this any further.
2020-05-23 15:44:14 +02:00
Mario Rodas
d30b7592c4
Merge pull request #88363 from r-ryantm/auto-update/clp
clp: 1.17.5 -> 1.17.6
2020-05-23 00:31:57 -05:00
R. RyanTM
25841d95c5 last: 1060 -> 1061 2020-05-22 02:21:55 +00:00
zimbatm
28357868f8
Merge pull request #88482 from r-ryantm/auto-update/fahcontrol
fahcontrol: 7.6.9 -> 7.6.13
2020-05-21 12:12:37 +02:00
zimbatm
1f6fcc7025
Merge pull request #88493 from r-ryantm/auto-update/fahviewer
fahviewer: 7.6.9 -> 7.6.13
2020-05-21 12:12:01 +02:00
R. RyanTM
f52889cd38 fahviewer: 7.6.9 -> 7.6.13 2020-05-21 08:53:14 +00:00
Evils
d798396684 kicad-unstable: 2020-05-06 -> 2020-05-14 2020-05-21 10:49:18 +02:00
Evils
a791245d51 kicad: 5.1.5 -> 5.1.6 2020-05-21 10:49:18 +02:00
R. RyanTM
0cc843b538 fahcontrol: 7.6.9 -> 7.6.13 2020-05-21 06:24:27 +00:00
Vincent Laporte
48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
Timo Kaufmann
b811d52b9c
Merge pull request #88428 from timokau/nauty-27r1
nauty: 26r12 -> 27r1
2020-05-20 13:22:15 +00:00
Timo Kaufmann
d0e171395a nauty: 26r12 -> 27r1
Changes: http://pallini.di.uniroma1.it/changes24-27.txt
2020-05-20 14:59:46 +02:00
Timo Kaufmann
a276c4485c nauty: add meta.changelog 2020-05-20 14:59:46 +02:00
Ryan Mulligan
aae8733f96
Merge pull request #88210 from r-ryantm/auto-update/picard-tools
picard-tools: 2.22.4 -> 2.22.7
2020-05-20 05:08:01 -07:00
R. RyanTM
d1b7e3f8cc clp: 1.17.5 -> 1.17.6 2020-05-20 10:04:01 +00:00
R. RyanTM
3450729658 picard-tools: 2.22.4 -> 2.22.7 2020-05-19 21:56:38 +00:00
Timo Kaufmann
7447395f9d
Merge pull request #88177 from timokau/palp-2.11-hash-fixup
palp: fix hash
2020-05-19 18:43:59 +00:00
Timo Kaufmann
aae9af9632 palp: fix hash
It looks like the upstream tarball was changed since I updated palp 3
days ago. Hopefully that won't happen again.
2020-05-19 17:50:43 +02:00
Gabriel Ebner
ade0eba99d
Merge pull request #88131 from r-ryantm/auto-update/elan 2020-05-19 09:38:28 +02:00
Lancelot SIX
b7c5508bfc
Merge pull request #86910 from lsix/cytoscape-3.8.0
cytoscape: 3.7.2 -> 3.8.0
2020-05-19 08:32:48 +01:00
R. RyanTM
748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Timo Kaufmann
91da9ed129
Merge pull request #87944 from timokau/palp-2.11
palp: 2.1 -> 2.11
2020-05-18 19:58:59 +00:00
Ryan Mulligan
fdf4439acc
Merge pull request #87494 from r-ryantm/auto-update/SPAdes
SPAdes: 3.14.0 -> 3.14.1
2020-05-18 08:06:19 -07:00
Timo Kaufmann
d65850e975 palp: 2.1 -> 2.11
According to the homepage[1]:

> Small change in Mori.h for compatibility with gcc_10 (thanks to J.
  Puydt) [May 15, 2020].

Disabling the strictoverflow seems to be no longer necessary (I'm
relying on the check phase here).

[1] http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html
2020-05-16 15:07:57 +02:00
Timo Kaufmann
51de320353 palp: add meta.changelog 2020-05-16 15:05:45 +02:00
Mario Rodas
b022ecbf5d
lean: 3.10.0 -> 3.13.1 2020-05-16 04:20:00 -05:00
Matt Huszagh
e8215cd634 colmap: update boost to 1.72 to fix build 2020-05-15 09:42:36 -07:00
R. RyanTM
d11e5f1a4e verilator: 4.032 -> 4.034 2020-05-12 22:27:21 -07:00
R. RyanTM
e07dfd38f1 wxmaxima: 20.02.4 -> 20.04.0 2020-05-12 22:12:53 -07:00
Ben Darwin
5e716bf469 vtk: 7.1.1 -> 8.2.0
- also create vtk_7 as several packages don't build with 8.x:
  - itk5: vtkVersion.h header not found at compile time
  - ants: version in tree (2.2.0) is incompatible with 8.2
  - itk4: ants depends on both vtk and itk4, so use vtk_7
  - gdcm: vtk header issue
  - python3Packages.vtk: Python C API compilation error with Python 3.8

- upgrade vtkWithQt4 -> vtkWithQt5
2020-05-11 17:54:29 -04:00
Jörg Thalheim
3a9543b778
Merge pull request #82634 from evils/kicad 2020-05-11 10:27:18 +01:00