Commit Graph

5076 Commits

Author SHA1 Message Date
Artturi
8ba3c63144
Merge pull request #133998 from r-ryantm/auto-update/wxmaxima
wxmaxima: 21.02.0 -> 21.05.2
2021-08-17 23:00:21 +03:00
Gabriel Ebner
65cafb6030
Merge pull request #134474 from r-ryantm/auto-update/qalculate-gtk
qalculate-gtk: 3.19.0 -> 3.20.1
2021-08-17 21:32:08 +02:00
Artturi
4f36420d07
Merge pull request #134045 from r-ryantm/auto-update/minimap2
minimap2: 2.17 -> 2.22
2021-08-17 22:22:47 +03:00
Ryan Mulligan
6cae9fd0c5
Merge pull request #134472 from r-ryantm/auto-update/vowpal-wabbit
vowpal-wabbit: 8.10.0 -> 8.11.0
2021-08-17 11:18:02 -07:00
R. RyanTM
73b3e147ea openhantek6022: 3.2.3 -> 3.2.4 2021-08-17 10:33:56 -07:00
R. RyanTM
cbd7e0dec1 qalculate-gtk: 3.19.0 -> 3.20.1 2021-08-17 16:04:54 +00:00
R. RyanTM
6d139ed34f vowpal-wabbit: 8.10.0 -> 8.11.0 2021-08-17 15:59:33 +00:00
R. RyanTM
1a23a8bb9e picard-tools: 2.25.1 -> 2.25.7 2021-08-17 13:50:42 +00:00
Gabriel Ebner
f267d39257
Merge pull request #134394 from r-ryantm/auto-update/elan
elan: 1.0.6 -> 1.0.7
2021-08-17 10:03:05 +02:00
R. RyanTM
b1868a8296 elan: 1.0.6 -> 1.0.7 2021-08-17 03:53:13 +00:00
Felix Buehler
c849ada0c5 why3: deprecate phases 2021-08-16 22:50:19 +02:00
Felix Buehler
8a8a949ffd tlaplusToolbox: deprecate phases 2021-08-16 21:54:44 +02:00
Felix Buehler
8ad1a7859a tlaps: deprecate phases 2021-08-16 21:54:22 +02:00
Ilan Joselevich
9f5b3fafa0 SPAdes: 3.15.2 -> 3.15.3 2021-08-15 11:12:42 +03:00
R. RyanTM
5caebbb040 verilator: 4.202 -> 4.210 2021-08-14 17:01:17 -05:00
R. RyanTM
5693a554e2 minimap2: 2.17 -> 2.22 2021-08-14 15:55:35 +00:00
R. RyanTM
0ba50b681e wxmaxima: 21.02.0 -> 21.05.2 2021-08-14 11:51:36 +00:00
Michael Raskin
1350415b52
Merge pull request #127798 from PhDyellow/r_bump_version
R: 4.0.4 -> 4.1.0
2021-08-13 13:41:07 +00:00
Phil Dyer
a21caa7f19 Remove unused fetchpatch from inputs 2021-08-13 10:19:31 +10:00
Phil Dyer
7f07184a8e Add Patch for aarch64 2021-08-13 10:16:59 +10:00
Sandro
7d75a19c60
Merge pull request #131463 from angustrau/logisim-evolution 2021-08-12 12:22:42 +02:00
Artturi
8ebdf7ec6b
Merge pull request #133322 from r-ryantm/auto-update/ginac
ginac: 1.8.0 -> 1.8.1
2021-08-11 23:01:14 +03:00
Phil Dyer
d37edcd3d5 R: 4.1.0 -> 4.1.1 2021-08-11 16:41:53 +10:00
R. RyanTM
e36200fc36 ginac: 1.8.0 -> 1.8.1 2021-08-10 07:09:09 +00:00
Artturi
5a587da43c
Merge pull request #133187 from Stunkymonkey/plm-fix
plm: fix old link & deprecate phases
2021-08-10 04:39:14 +03:00
Artturi
ae50676a71
Merge pull request #133235 from r-ryantm/auto-update/jmol
jmol: 14.31.46 -> 14.31.49
2021-08-10 03:36:07 +03:00
R. RyanTM
72a522e795 jmol: 14.31.46 -> 14.31.49 2021-08-09 07:27:37 +00:00
R. RyanTM
323134240a gama: 2.12 -> 2.14 2021-08-09 00:26:53 +00:00
Felix Buehler
d62ab96698 plm: fix old link & deprecate phases 2021-08-08 23:53:53 +02:00
Dmitry Kalinkin
e51edc1e64
Merge pull request #130903 from veprbl/pr/cwltool
cwltool: init at 3.1.20210628163208
2021-08-08 11:15:33 -04:00
Sandro
93ead26f57
Merge pull request #130359 from sheepforce/avogadro2 2021-08-08 13:07:33 +02:00
Sandro
fd26f351b5
Merge pull request #131493 from collares/polymake-4.4
polymake: 3.2.rc4 -> 4.4
2021-08-08 12:30:59 +02:00
Jörg Thalheim
5ec2eafb18
Merge pull request #125133 from sophrosyne97/fix_vhd2vl
vhd2vl: fix build error
2021-08-08 11:12:45 +01:00
Sandro
bfd533061e
Merge pull request #132881 from r-ryantm/auto-update/lepton-eda 2021-08-07 12:11:38 +02:00
Artturi
e69c8ea78e
Merge pull request #111691 from jbedo/bowtie2
bowtie2: resolve missing runtime dependencies
2021-08-07 04:03:47 +03:00
R. RyanTM
d06fec649b lepton-eda: 1.9.13-20201211 -> 1.9.16-20210731 2021-08-06 09:59:50 +00:00
Sandro
cfdee1710c
Merge pull request #109552 from tesq0/merge-request-lepton-eda 2021-08-05 15:35:14 +02:00
Mikolaj Galkowski
629e1d384d lepton-eda: init at 1.9.13-20201211 2021-08-05 14:18:10 +02:00
Markus Kowalewski
d26039d43b
openmolcas: 21.02 -> 21.06 2021-08-05 13:18:28 +02:00
Sandro
04b5e62d8d
Merge pull request #132468 from Stunkymonkey/applications-phases1 2021-08-05 09:37:57 +02:00
Markus Kowalewski
7d3b20253f
ergoscf: init at 3.8 2021-08-04 00:29:52 +02:00
Stig
c464dc811b
Merge pull request #132237 from Artturin/perlmagikupdate
perlPackages.ImageMagick: 7.0.10 -> 7.0.11
2021-08-03 00:16:14 +02:00
Felix Buehler
be219752d2 picard-tools: deprecate phases 2021-08-03 00:04:29 +02:00
Felix Buehler
4b883542fe varscan: deprecate phases 2021-08-03 00:04:16 +02:00
Felix Buehler
e3dd43360e eagle7: deprecate phases 2021-08-03 00:03:58 +02:00
Felix Buehler
f67a0a37f0 saw-tools: remove phases 2021-08-03 00:03:41 +02:00
Felix Buehler
7b20eb9e37 scilab-bin: remove phases 2021-08-03 00:03:12 +02:00
Felix Buehler
44cb64dba6 quantomatic: deprecate phases 2021-08-03 00:02:58 +02:00
Artturin
f173c77476 perlPackages.ImageMagick: rename from perlPackages.PerlMagick 2021-08-02 20:05:00 +03:00
Ben Wolsieffer
e8b00e9eeb mavproxy: 1.8.39 -> 1.8.40 2021-07-31 18:40:30 -04:00
Ben Siraphob
2f94991628 treewide: fix redirected URLs
Using the script in maintainers/scripts/update-redirected-urls.sh
2021-08-01 00:01:50 +07:00
Ben Siraphob
72d0a639ce
Merge pull request #131755 from r-ryantm/auto-update/libpoly
libpoly: 0.1.9 -> 0.1.10
2021-07-31 15:49:23 +07:00
Sandro
1524f36b3e
Merge pull request #131627 from jbedo/mosdepth
mosdepth: 0.3.1 -> 0.3.2
2021-07-29 13:56:24 +00:00
Frederik Rietdijk
8dcfe523f7
Merge pull request #131719 from FRidh/python2-to-3
Python: further migrate packages from 2 to 3
2021-07-29 10:49:00 +02:00
R. RyanTM
1d4ae0cfb7 libpoly: 0.1.9 -> 0.1.10 2021-07-28 00:31:53 +00:00
Frederik Rietdijk
8f6b07c223 maxima: use strictDeps and python3 2021-07-27 20:37:06 +02:00
github-actions[bot]
db6a26db02
Merge master into staging-next 2021-07-27 18:01:01 +00:00
Phillip Seeber
9504a98c32 avogadro2: init at 1.94.0
avogadro2: code-review suggestions


avogadro2: review comments
2021-07-27 18:43:15 +02:00
Sandro Jäckel
cebfbdff37
mrbayes: 3.2.7 -> 3.2.7a 2021-07-27 14:30:23 +02:00
github-actions[bot]
2692c2e427
Merge master into staging-next 2021-07-27 12:01:20 +00:00
Sandro
28d58fb25f
Merge pull request #131531 from SuperSandro2000/mrbayes
mrbayes: modernize
2021-07-27 10:57:14 +00:00
Sandro Jäckel
108ad942fb
mrbayes: modernize 2021-07-27 11:53:51 +02:00
Phil Dyer
9a88197fe7 R: 4.0.4 -> 4.1.0
Co-authored-by: Mauricio Collares <244239+collares@users.noreply.github.com>
2021-07-27 12:32:00 +10:00
github-actions[bot]
737604e550
Merge master into staging-next 2021-07-27 00:01:35 +00:00
Justin Bedo
d885373469
mosdepth: 0.3.1 -> 0.3.2 2021-07-27 09:52:22 +10:00
Guillaume Girol
455712841c
Merge pull request #130663 from symphorien/bitwuzla
bitwuzla: init at unstable-2021-07-01
2021-07-26 19:45:46 +00:00
Frederik Rietdijk
62370fb59a Merge remote-tracking branch 'upstream/master' into staging-next 2021-07-26 09:19:44 +02:00
Ryan Mulligan
cec4b2a274
Merge pull request #131319 from r-ryantm/auto-update/jmol
jmol: 14.31.44 -> 14.31.46
2021-07-25 19:41:51 -07:00
Mauricio Collares
045d6f35d9 polymake: 3.2.rc4 -> 4.4 2021-07-25 20:12:21 -03:00
Angus Trau
351b7d24e2
logisim: create desktop entry (#131450) 2021-07-25 17:46:34 -04:00
Guillaume Girol
1894e8d945 bitwuzla: init at unstable-2021-07-01 2021-07-25 15:52:25 +02:00
Angus Trau
92cced04c6 logisim-evolution: init at 3.5.0 2021-07-25 19:52:24 +10:00
github-actions[bot]
6a5e4f2c3d
Merge master into staging-next 2021-07-25 06:01:27 +00:00
Ben Siraphob
0f34985134
Merge pull request #122828 from balodja/openmodelica 2021-07-25 09:24:25 +07:00
github-actions[bot]
a37fbac53b
Merge master into staging-next 2021-07-25 00:01:35 +00:00
Sandro
224159802c
Merge pull request #131152 from r-ryantm/auto-update/bedops
bedops: 2.4.39 -> 2.4.40
2021-07-24 22:53:05 +00:00
github-actions[bot]
859acbc1bc
Merge master into staging-next 2021-07-24 18:01:04 +00:00
Vladimir Korolev
5c8561f11a openmodelica: 1.9.3 -> 1.17.0 with lots of changes
Co-authored-by: Jaakko Luttinen <jaakko.luttinen@iki.fi>

Most of changes are:
* separate packages for different openmodelica components,
* qt4 -> qt5,
* patches to instruct the OMEdit wrapper with stdenv executables
  location,
* adoption of #89731 and #109595,
* openblas -> blas, lapack according to #83888,
* parallel building,
* getting rid of spurious build phases,
* correct the license,
* cross-compilation,
* forcing compiler to clang++ according to OM build recommendations,
* drop of pangox_compat according to #75909 and #76412,
* better dependencies, and more.
2021-07-24 20:29:26 +03:00
Daniël de Kok
8cb9eabf96
Merge pull request #131177 from r-ryantm/auto-update/finalfusion-utils
finalfusion-utils: 0.12.0 -> 0.13.0
2021-07-24 14:47:49 +02:00
R. RyanTM
4e5b3b49e4 jmol: 14.31.44 -> 14.31.46 2021-07-24 09:22:42 +00:00
Guillaume Girol
0708fe494b cadical: install library 2021-07-23 21:19:27 +02:00
github-actions[bot]
cb1426e30a
Merge staging-next into staging 2021-07-23 18:01:46 +00:00
arjix
ebabecfd2a
nengo-gui: init at 0.4.8 (#130015)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-07-23 14:06:09 +02:00
R. RyanTM
934002f7a4 finalfusion-utils: 0.12.0 -> 0.13.0 2021-07-23 06:08:46 +00:00
R. RyanTM
d943e6aa12 bedops: 2.4.39 -> 2.4.40 2021-07-23 01:02:40 +00:00
github-actions[bot]
2e00ed4420
Merge staging-next into staging 2021-07-22 06:01:44 +00:00
Ben Siraphob
a5049e8caa
Merge pull request #130971 from siraben/parallel-coq
coq: enable parallel building
2021-07-22 10:00:42 +07:00
Dmitry Kalinkin
3f24366cda
cwltool: init at 3.1.20210628163208 2021-07-21 22:11:17 -04:00
Sandro
d06f7e07a6
Merge pull request #130925 from SuperSandro2000/python-aliases 2021-07-22 03:21:11 +02:00
Ben Siraphob
7c1d4d8255 coq: enable parallel building 2021-07-22 02:04:47 +07:00
github-actions[bot]
7a1e77336a
Merge staging-next into staging 2021-07-21 18:01:41 +00:00
Sandro Jäckel
b4099137b1
pythonPackages: deprecate ConfigArgParse alias 2021-07-21 13:32:54 +02:00
Sandro
aee461ddb4
toil: update homepage 2021-07-21 13:28:37 +02:00
Dmitry Kalinkin
866fe59150
toil: init at 5.4.0 2021-07-20 22:18:08 -04:00
github-actions[bot]
23c6d36ba0
Merge staging-next into staging 2021-07-20 18:01:42 +00:00
Sandro
8472d44b82
Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4
logisim: cleanup
2021-07-20 19:48:37 +02:00
Sandro
fd1ab319b7
logisim: cleanup 2021-07-20 18:33:48 +02:00
Sandro
c401885fe1
Merge pull request #130192 from Stunkymonkey/logisim-phases
logisim: deprecate phases
2021-07-20 18:32:40 +02:00
github-actions[bot]
0e13cd9f49
Merge staging-next into staging 2021-07-20 12:02:50 +00:00
Sandro
4a340627aa
Merge pull request #130661 from veprbl/pr/snakemake_6_6_1 2021-07-20 11:05:53 +02:00
Ben Siraphob
e8599765f5
Merge pull request #130638 from siraben/par-treewide
treewide: remove unnecessary enableParallelBuilding when using cmake, meson, qmake
2021-07-20 12:10:21 +07:00
Ben Siraphob
4ce8c34049 treewide: remove unnecessary enableParallelBuilding when using qmake 2021-07-20 10:32:58 +07:00
github-actions[bot]
e86ff5c2b2
Merge staging-next into staging 2021-07-20 00:02:21 +00:00
Guillaume Girol
6554384a70 boolector: 3.2.1 -> 3.2.2 2021-07-19 16:11:01 -07:00
Dmitry Kalinkin
3a79b1fece
snakemake: 6.5.3 -> 6.6.1 2021-07-19 16:22:36 -04:00
Dmitry Kalinkin
a93f2af20b
snakemake: add missing optional dependenices
These are needed to generate reports
2021-07-19 16:19:27 -04:00
github-actions[bot]
c455b1a657
Merge staging-next into staging 2021-07-19 18:01:44 +00:00
Ben Siraphob
d53846e29e
Merge pull request #130583 from jvanbruegge/isabelle2021
Isabelle: 2020 -> 2021
2021-07-19 20:56:48 +07:00
Millian Poquet
c6f34aeaef simgrid: compile tests in parallel 2021-07-19 14:05:17 +02:00
Millian Poquet
c4ec6ffb78 simgrid: fix paths in smpicc/smpicxx 2021-07-19 14:04:57 +02:00
Millian Poquet
33f915f241 simgrid: propagate boost
Since SimGrid include files directly include boost files,
most SimGrid users need boost as well.
2021-07-19 14:03:50 +02:00
Millian Poquet
2d05c2d535 simgrid: 3.27 -> 3.28 2021-07-19 14:01:30 +02:00
Jan van Brügge
e32da890c9
isabelle: Add desktop entry 2021-07-19 12:04:30 +02:00
github-actions[bot]
dde34afc63
Merge staging-next into staging 2021-07-19 00:02:18 +00:00
Jan van Brügge
9111bd40b2
isabelle: 2020 -> 2021 2021-07-18 23:51:36 +02:00
Sandro
d5bd34ebf2
treewide: convert phases that contain ":" to dont* = true (#130500) 2021-07-18 23:42:48 +02:00
github-actions[bot]
09be4e7750
Merge staging-next into staging 2021-07-18 12:01:50 +00:00
Jörg Thalheim
d4b8356ce2 pcalc: 20141224 -> 20181202 2021-07-18 08:40:09 +02:00
github-actions[bot]
08a8809bfe
Merge staging-next into staging 2021-07-18 00:02:06 +00:00
Sandro
24debc24c6
Merge pull request #130194 from Stunkymonkey/fdr-phases
fdr: deprecate phases
2021-07-18 00:41:56 +02:00
Felix Buehler
82cb33a0ae treewide: remove meta.version 2021-07-18 00:07:38 +02:00
github-actions[bot]
11332e9137
Merge staging-next into staging 2021-07-17 18:01:28 +00:00
Robert Scott
681821fefe
Merge pull request #129834 from r-ryantm/auto-update/bcftools
bcftools: 1.11 -> 1.13
2021-07-17 18:26:47 +01:00
github-actions[bot]
732bd85cf5
Merge staging-next into staging 2021-07-17 12:01:55 +00:00
Guillaume Girol
cb7e11dcb3
Merge pull request #130404 from collares/pynac-0.7.29
pynac: 0.7.27 -> 0.7.29
2021-07-17 09:08:46 +00:00
(cdep)illabout
299082636c
cedille: set no hydra platforms 2021-07-17 11:17:09 +09:00
(cdep)illabout
ff0c051daf
cedille: mark broken 2021-07-17 11:10:26 +09:00
Mauricio Collares
183071d282 pynac: 0.7.27 -> 0.7.29 2021-07-16 19:30:11 -03:00
github-actions[bot]
ed4094a728
Merge staging-next into staging 2021-07-16 00:02:18 +00:00
Sandro
9b8e8b2047
Merge pull request #130193 from Stunkymonkey/verifast-phases
verifast: deprecate phases
2021-07-15 23:40:17 +02:00
Sandro
daa42d5347
Merge pull request #130210 from veprbl/pr/root_6_24_02 2021-07-15 22:52:29 +02:00
Sandro
025cab89d9
Merge pull request #130187 from Stunkymonkey/workcraft-phases
workcraft: deeprecate phases
2021-07-15 21:59:16 +02:00
github-actions[bot]
2165de1758
Merge staging-next into staging 2021-07-15 18:02:07 +00:00
FliegendeWurst
5a1b72a6b1 mathematica: 12.3.0 -> 12.3.1 2021-07-15 15:29:33 +02:00
github-actions[bot]
0db5cea36d
Merge staging-next into staging 2021-07-15 06:01:32 +00:00
Vincent Laporte
e57571bdb6 gappa: 1.3.5 → 1.4.0 2021-07-15 07:55:52 +02:00
Dmitry Kalinkin
1cbb9c64d1
root,root5: apply nixpkgs-fmt 2021-07-14 16:23:09 -04:00
Dmitry Kalinkin
62ab958fb0
root: 6.24.00 -> 6.24.02 2021-07-14 14:58:15 -04:00
github-actions[bot]
6630d8e9bb
Merge staging-next into staging 2021-07-14 18:01:45 +00:00
Felix Buehler
7ab67cfa4c fdr: deprecate phases 2021-07-14 16:42:23 +02:00
Felix Buehler
b6fb4cedaf verifast: deprecate phases 2021-07-14 16:41:30 +02:00
Felix Buehler
ac75afe239 logisim: deprecate phases 2021-07-14 16:40:28 +02:00
Felix Buehler
cdf9e86ad1 leo3-bin: deprecate phases 2021-07-14 16:38:38 +02:00
Felix Buehler
3680a85bcb workcraft: deeprecate phases 2021-07-14 16:33:41 +02:00
Sandro Jäckel
388a4ef423
treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-* 2021-07-14 03:35:21 +02:00
Dmitry Kalinkin
43ae777382
Merge pull request #130090 from evils/kicad
kicad-unstable: update; now requires python
2021-07-13 14:20:39 -04:00
Evils
0e6d186906 kicad-unstable: needs python
needed since upstream merge request 796 got merged on 2021-06-01
2021-07-13 12:47:26 +02:00
Evils
428d2a2f51 kicad-unstable: 2021-05-16 -> 2021-07-12 2021-07-13 12:46:17 +02:00
github-actions[bot]
5779c9a1dd
Merge staging-next into staging 2021-07-12 18:01:40 +00:00
markuskowa
cd55326158
Merge pull request #129662 from sheepforce/cp2k
CP2K: init at 8.1.0
2021-07-12 19:28:33 +02:00
Ryan Mulligan
3c82ddb28c
Merge pull request #130016 from r-ryantm/auto-update/engauge-digitizer
engauge-digitizer: 12.1 -> 12.2.2
2021-07-12 11:08:24 -05:00
R. RyanTM
d342554ec5 engauge-digitizer: 12.1 -> 12.2.2 2021-07-12 14:06:35 +00:00
Markus Kowalewski
77be900d67
octopus: cleanup derivation 2021-07-12 14:15:05 +02:00
Markus Kowalewski
0a1167fd0b
octopus: 10.3 -> 10.5 2021-07-12 13:31:28 +02:00
markuskowa
13b3e91794
Merge pull request #128856 from cburstedde/package-petsc-p4est
petsc: refactor using mpi and p4est
2021-07-12 11:46:44 +02:00
Sandro
9afe59f2e6
Merge pull request #129938 from eduardosm/diylc 2021-07-11 22:40:33 +02:00
Dmitry Kalinkin
45bed6d99f
snakemake: 6.5.0 -> 6.5.3 2021-07-11 10:40:09 -04:00
Eduardo Sánchez Muñoz
8f66191e32 diylc: 4.17.0 -> 4.18.0 2021-07-11 15:45:23 +02:00
R. RyanTM
7177212409 bcftools: 1.11 -> 1.13 2021-07-10 10:15:10 +00:00
Phillip Seeber
5c4d869ada engauge-digitizer: init at 12.1
code-review hints


engauge-digitizer: code review suggestions
2021-07-09 13:27:30 +02:00
Phillip Seeber
e503e43a03 cp2k: init at 8.2.0
cp2k: cleanup/formatting


cp2k: change license


cp2k: remove comment
2021-07-09 11:27:35 +02:00
Sandro
43b68c4bca dkh: init at 1.2
Apply suggestions from code review
2021-07-09 10:40:51 +02:00
Carsten Burstedde
25456656ef
Merge branch 'master' into package-petsc-p4est 2021-07-06 07:19:35 +02:00
Michael Raskin
cb098c86b0
Merge pull request #129280 from r-ryantm/auto-update/jmol
jmol: 14.31.42 -> 14.31.44
2021-07-06 04:04:19 +00:00
Sandro
90fa755d73
Merge pull request #123692 from collares/eclib-20210503 2021-07-06 01:59:32 +02:00
Carsten Burstedde
705afbd338
Merge branch 'master' into package-petsc-p4est 2021-07-05 19:30:59 +02:00
R. RyanTM
0e2aad0d3f jmol: 14.31.42 -> 14.31.44 2021-07-04 22:17:25 +00:00
github-actions[bot]
a6fdcf8d52
Merge master into staging-next 2021-07-04 12:01:06 +00:00
Gabriel Ebner
5fd14f54c7 qalculate-gtk: 3.18.0 -> 3.19.0 2021-07-04 10:41:23 +02:00
Gabriel Ebner
7880aaa756
Merge pull request #124454 from r-ryantm/auto-update/elan
elan: 1.0.2 -> 1.0.6
2021-07-04 10:19:58 +02:00
github-actions[bot]
89ee82a6e9
Merge master into staging-next 2021-07-04 06:01:11 +00:00
Sandro
8723bd8119
Merge pull request #129122 from dotlambda/dateutil-alias 2021-07-04 02:53:34 +02:00
Dmitry Kalinkin
f0fbfdefe7
Merge branch 'master' into staging-next 2021-07-03 17:51:15 -04:00
Mauricio Collares
30cd543b32 eclib: 20190909 -> 20210625, import sage update patch 2021-07-03 12:55:52 -03:00
R. RyanTM
f32e760b64 gwyddion: 2.58 -> 2.59 2021-07-03 11:56:51 +00:00
Robert Schütz
1ec5651913 treewide: use pythonPackages.python-dateutil instead of pythonPackages.dateutil 2021-07-03 13:45:57 +02:00
github-actions[bot]
77a94d88ad
Merge master into staging-next 2021-07-03 06:01:13 +00:00
Sarunas Valaskevicius
5b69b1f3fe tlaToolbox: fix crash on file open dialog 2021-07-02 23:04:39 +01:00
github-actions[bot]
4147e7d4a9
Merge master into staging-next 2021-07-02 18:01:01 +00:00
Gabriel Ebner
b38329171a
Merge pull request #128926 from collares/lean-3.31
lean: 3.30.0 -> 3.31.0
2021-07-02 19:57:13 +02:00
github-actions[bot]
dcd8f68f13
Merge master into staging-next 2021-07-02 00:01:33 +00:00
Mauricio Collares
258e959faf lean: 3.30.0 -> 3.31.0 2021-07-01 20:47:08 -03:00
Michael Raskin
980ebd8f1e
Merge pull request #128831 from collares/sage-sphinx-4
sage: import sphinx and sympy update patches, update pari 2.13 patch
2021-07-01 21:42:08 +00:00
Carsten Burstedde
870b2847a4
getdp: align with latest petsc dependency 2021-07-01 22:57:26 +02:00
github-actions[bot]
9d5de3eca1
Merge master into staging-next 2021-07-01 18:01:04 +00:00
Ben Siraphob
ee5b85e00e
Merge pull request #128900 from siraben/hol-unix
hol: expand platforms to unix
2021-07-01 23:33:15 +07:00
Ben Siraphob
e86f5bfa8f hol: expand platforms to unix 2021-07-01 22:19:02 +07:00
Michael Raskin
7ba5c6915d
Merge pull request #128167 from r-ryantm/auto-update/jmol
jmol: 14.31.41 -> 14.31.42
2021-07-01 12:56:32 +00:00
Mauricio Collares
17e024867f sage: import sphinx and sympy update patches, update pari 2.13 patch 2021-06-30 20:26:16 -03:00
github-actions[bot]
1a1f2ce95d
Merge master into staging-next 2021-06-30 18:04:09 +00:00
Théo Zimmermann
cc84f3906e coq: fix issue introduced in #128603
This triggerred coq-community/coq-nix-toolbox#42.
2021-06-30 16:38:39 +02:00
github-actions[bot]
629cea2cd0
Merge master into staging-next 2021-06-30 12:04:22 +00:00
R. RyanTM
360c8128bb gtkwave: 3.3.109 -> 3.3.110 2021-06-29 23:46:07 -07:00
Hunter Jones
ef892b0a92 phd2: 2.6.9dev1 -> 2.6.10 2021-06-29 23:42:21 -07:00
R. RyanTM
c4e9746406 emuflight-configurator: 0.3.5 -> 0.3.6 2021-06-29 23:28:17 -07:00
github-actions[bot]
7f05df0a91
Merge master into staging-next 2021-06-30 06:04:18 +00:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 (#128603) 2021-06-30 04:47:31 +02:00
github-actions[bot]
0fa08dae1b
Merge master into staging-next 2021-06-30 00:08:50 +00:00
Sandro
be4382dcb3
Merge pull request #126878 from mtreca/master 2021-06-30 01:55:22 +02:00
github-actions[bot]
fc4cc6ca93
Merge master into staging-next 2021-06-29 12:04:29 +00:00