Michael Raskin
3ed321dfab
z3: enable build on non-x86_64 unix; checked the build on aarch64-linux
2020-11-27 11:52:07 +01:00
Sandro
41408091bb
Merge pull request #105111 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.1 -> 3.3.2
2020-11-27 03:12:56 +01:00
R. RyanTM
b25018203b
workcraft: 3.3.1 -> 3.3.2
2020-11-27 01:53:34 +00:00
Sandro
6ecdb286b0
Merge pull request #101464 from Synthetica9/redirected-urls
...
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
2020-11-27 01:27:24 +01:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
2020-11-27 01:23:57 +01:00
Sandro
b08b773f24
Merge pull request #101807 from cheriimoya/pspp
...
pspp 1.2.0 -> 1.4.1
2020-11-27 00:35:16 +01:00
Gabriel Ebner
56ffa7a9e4
Merge pull request #105055 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.14.0 -> 3.15.0
2020-11-26 19:04:24 +01:00
R. RyanTM
8c1f644cc7
qalculate-gtk: 3.14.0 -> 3.15.0
2020-11-26 17:48:20 +00:00
Sandro
605ecee7de
Merge pull request #102200 from hjones2199/master
...
phd2: init at 2.6.9dev1
2020-11-26 02:28:06 +01:00
Sandro
c2d728f195
Merge pull request #102140 from SuperSandro2000/patch-2
2020-11-26 01:00:22 +01:00
Sandro
28cb61eb5d
Merge pull request #104933 from tadfisher/horizon-eda
...
horizon-eda: 1.2.1 -> 1.3.0
2020-11-26 00:45:09 +01:00
Sandro
d8b570e6c8
Merge pull request #98363 from jbedo/mosdepth
...
mosdepth: 0.2.9 -> 0.3.1
2020-11-25 23:55:47 +01:00
Sandro
e166f22759
tebreak: Fix tests
2020-11-25 21:36:38 +01:00
Sandro
5f2997686c
deeptools: Fix tests
2020-11-25 21:36:37 +01:00
Tad Fisher
40db868048
horizon-eda: 1.2.1 -> 1.3.0
2020-11-25 12:23:45 -08:00
Sandro
b73851877c
Merge pull request #104866 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.24 -> 1.8.27
2020-11-25 17:42:18 +01:00
R. RyanTM
3174ae1723
mavproxy: 1.8.24 -> 1.8.27
2020-11-25 05:57:05 +00:00
Hunter Jones
d14952311e
phd2: init at 2.6.9dev1
2020-11-24 21:31:58 -06:00
Sandro
ea49bac768
Merge pull request #99761 from fgaz/key/init
...
key: init at 2.6.3
2020-11-25 01:49:25 +01:00
Graham Christensen
bc49a0815a
utillinux: rename to util-linux
2020-11-24 12:42:06 -05:00
Sandro
3da89983fd
Merge pull request #103590 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.0 -> 3.3.1
2020-11-24 02:07:43 +01:00
Sandro
b3f5ff2005
Merge pull request #103703 from r-ryantm/auto-update/gmsh
...
gmsh: 4.6.0 -> 4.7.0
2020-11-24 01:57:36 +01:00
Timo Kaufmann
e4af85f1d8
Merge pull request #104476 from refnil/pynac
...
pynac: use python3 instead of python2
2020-11-23 22:26:38 +01:00
R. RyanTM
3b17793827
star: 2.7.5c -> 2.7.6a
2020-11-23 20:40:05 +01:00
Sandro
b2219a326b
Merge pull request #101922 from penguwin/nextinspace
...
nextinspace: init at 1.0.6
2020-11-23 20:09:09 +01:00
Ryan Mulligan
5417bf80f5
Merge pull request #104395 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.23 -> 1.8.24
2020-11-21 19:42:33 -08:00
freezeboy
9950899236
xflr5: migrate to Qt5.15
...
rewrite without wrapQtAppsHook and stdenv
2020-11-20 22:24:19 +01:00
freezeboy
f2335a5d98
appcsxcad: migrate to Qt5.15
...
* remove useless wrapQtAppsHook
2020-11-20 22:24:18 +01:00
freezeboy
ed7a64c4ee
qcsxcad: migrate to Qt511 + additional cleanup
...
* Split into multiple outputs
* Rewrite the derivation without stdenv
2020-11-20 22:24:18 +01:00
Martin Lavoie
30afa507a3
pynac: use python3 instead of python2
2020-11-20 20:46:43 +01:00
R. RyanTM
4615d67ac6
mavproxy: 1.8.23 -> 1.8.24
2020-11-20 17:43:07 +00:00
Austin Seipp
00c451ad40
librepcb: touch ups, co-maintain
...
Fixes a bug where the build system tried to call `git` to embed the
release tag revision into the binary, which isn't allowed. Easily fixed
with `substituteInPlace`.
Also updates the expression to be a little closer to "standard"
expressions (e.g. consistent indentation, importing `stdenv` instead of
`lib` and `mkDerivation`, etc.)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-20 07:36:27 -06:00
R. RyanTM
26803925aa
ngspice: 32 -> 33
2020-11-19 22:57:08 -08:00
Dmitry Kalinkin
209480e580
Merge pull request #104103 from veprbl/pr/snakemake_5_28_0
...
snakemake: 5.19.3 -> 5.28.0
2020-11-19 20:37:25 -05:00
Ben Gamari
7263f7c433
mathematica: Prefer building locally ( #100856 )
...
There is little benefit to copying a 4GB tarball over the network,
just to perform an I/O-bound operation and then copy the
multi-gigabyte result back.
2020-11-19 19:42:22 -05:00
Timo Kaufmann
e04721b289
Merge pull request #104083 from timokau/sage-maintainers-team
...
maintainers: create sage team
2020-11-19 19:20:49 +01:00
Jörg Thalheim
72f6df338d
remove genesis maintainer
...
genesis has no longer access to github
2020-11-18 22:37:56 -08:00
R. RyanTM
5a4772e260
marvin: 20.19.0 -> 20.20.0
2020-11-18 21:03:39 +00:00
Timo Kaufmann
b7319d2d35
maintainers: add raskin to the sage team
...
https://github.com/NixOS/nixpkgs/pull/104083#issuecomment-729168625
2020-11-18 21:29:24 +01:00
Timo Kaufmann
ff8338343b
maintainers: create sage team
...
Maintaining all the packages whose updates might break some aspect of
sage.
For reference:
https://github.com/NixOS/nixpkgs/pull/103810#issuecomment-727536510
2020-11-18 21:27:37 +01:00
freezeboy
00b385c612
dsview: 0.99 -> 1.12
...
Adapted the patches and took a commit from upstream master branch to
allow the migration to Qt5.15.
Had to copy the patch because of the custom sourceRoot.
2020-11-18 15:36:11 +01:00
Dmitry Kalinkin
68e06c19d6
snakemake: 5.19.3 -> 5.28.0
2020-11-17 17:37:35 -05:00
Nicolas Martin
9af958340a
nextinspace: init at 1.0.6
2020-11-17 15:41:53 +01:00
Oleksii Filonenko
512c3c0a05
maintainers: rename filalex77 -> Br1ght0ne
2020-11-17 13:09:31 +02:00
Ryan Mulligan
80b6df2a17
Merge pull request #103525 from r-ryantm/auto-update/samblaster
...
samblaster: 0.1.24 -> 0.1.26
2020-11-16 19:03:03 -08:00
Austin Seipp
4b21cf786c
Merge pull request #102943 from prusnak/verilog
...
verilog: unstable-2020-08-24 -> 11.0
2020-11-15 21:19:22 -06:00
Anderson Torres
25afd6a3ec
Merge pull request #103768 from AndersonTorres/wip-antiprism
...
antiprism: init at 0.26
2020-11-15 19:43:57 -03:00
Vincent Laporte
2806eb2743
coq_8_12: 8.12.0 → 8.12.1
2020-11-15 12:03:15 +01:00
Ryan Mulligan
47fe890182
Merge pull request #103751 from r-ryantm/auto-update/last
...
last: 1133 -> 1145
2020-11-14 15:08:46 -08:00
Ryan Mulligan
306960bf1c
Merge pull request #103776 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.22 -> 1.8.23
2020-11-14 13:34:35 -08:00
Pavol Rusnak
610d337764
vhd2vl: fix compatibility with verilog 11.0
2020-11-14 20:15:09 +01:00
Pavol Rusnak
960b4816a5
verilog: unstable-2020-10-24 -> 11.0
2020-11-14 20:15:09 +01:00
R. RyanTM
e3cf6e12bc
fahcontrol: 7.6.13 -> 7.6.21 ( #103677 )
2020-11-14 16:39:37 +00:00
R. RyanTM
68f44d990d
fahviewer: 7.6.13 -> 7.6.21 ( #103688 )
2020-11-14 16:39:20 +00:00
Mario Rodas
7408e58969
Merge pull request #103731 from r-ryantm/auto-update/igv
...
igv: 2.8.11 -> 2.8.12
2020-11-14 06:31:47 -05:00
Timo Kaufmann
99aab4ff25
Merge pull request #103749 from r-ryantm/auto-update/jmol
...
jmol: 14.31.14 -> 14.31.17
2020-11-14 09:53:01 +01:00
Timo Kaufmann
9a18684661
Merge pull request #103706 from r-ryantm/auto-update/gp2c
...
gp2c: 0.0.11pl4 -> 0.0.12
2020-11-14 09:52:34 +01:00
R. RyanTM
df7db2b3ed
mavproxy: 1.8.22 -> 1.8.23
2020-11-14 06:25:20 +00:00
AndersonTorres
f61b91cec4
antiprism: init at 0.26
2020-11-14 00:37:10 -03:00
R. RyanTM
a698dfa0a2
last: 1133 -> 1145
2020-11-13 23:30:53 +00:00
R. RyanTM
dd8591d752
jmol: 14.31.14 -> 14.31.17
2020-11-13 22:05:46 +00:00
R. RyanTM
82d1113013
igv: 2.8.11 -> 2.8.12
2020-11-13 18:25:51 +00:00
R. RyanTM
3457f85820
gp2c: 0.0.11pl4 -> 0.0.12
2020-11-13 14:37:53 +00:00
R. RyanTM
a36f37b778
gmsh: 4.6.0 -> 4.7.0
2020-11-13 14:19:59 +00:00
Austin Seipp
c1661fa7e1
magic-vlsi: 8.3.5 -> 8.3.80, co-maintain
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:03 -06:00
Austin Seipp
58a906a7bf
iverilog: unstable-2020-08-24 -> unstable-2020-10-24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:02 -06:00
R. RyanTM
8acd7a3540
workcraft: 3.3.0 -> 3.3.1
2020-11-12 10:54:47 +00:00
R. RyanTM
d1baaef83d
samblaster: 0.1.24 -> 0.1.26
2020-11-12 01:43:02 +00:00
R. RyanTM
f7485d07b5
lean: 3.21.0 -> 3.23.0
2020-11-11 15:16:44 -08:00
Gabriel Ebner
05d27ba19b
Merge pull request #103256 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.13.0 -> 3.14.0
2020-11-10 11:16:30 +01:00
R. RyanTM
3664e4929f
qalculate-gtk: 3.13.0 -> 3.14.0
2020-11-10 01:49:59 +00:00
Frederik Rietdijk
20f001c01e
Merge master into staging-next
2020-11-09 14:33:52 +01:00
Hunter Jones
5041cbc691
kstars: 2.9.8 -> 3.4.3
2020-11-09 12:21:31 +00:00
Luz
3bf8df2877
librepcb: 0.1.4 -> 0.1.5
2020-11-09 11:56:58 +00:00
Samuel Gräfenstein
22b73d1282
pkgs/*: add final newline to .nix files
2020-11-09 11:39:28 +00:00
Orivej Desh
0c75dfb732
convertall: init at 0.8.0 ( #103108 )
2020-11-09 01:45:09 +00:00
Masanori Ogino
88de0d7354
maxima: 5.42.2 -> 5.44.0 ( #102861 )
...
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.43.md
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.44.md
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-11-08 19:29:53 -05:00
markuskowa
428bea042e
Merge pull request #102296 from r-ryantm/auto-update/gromacs
...
gromacs: 2020.3 -> 2020.4
2020-11-08 11:31:54 +01:00
Evils
a52e974cff
kicad-unstable: 2020-10-09 -> 2020-11-07
...
patch for issue 72248 no longer applies
issue doesn't seem to occur without it anymore...
2020-11-07 16:29:52 +01:00
Evils
905134a79f
kicad: 5.1.7 -> 5.1.8
2020-11-07 16:29:52 +01:00
Evils
50ec961174
kicad: fix update.sh bootstrapping
...
it will now correctly build a version.nix file from scratch
2020-11-07 16:29:52 +01:00
Evils
756f36b554
kicad: 5.1.6 -> 5.1.7
2020-11-07 16:29:52 +01:00
Jan Tojnar
a821be7531
Merge branch 'master' into staging-next
2020-11-05 09:42:47 +01:00
Gabriel Ebner
8279979f38
lean: build olean files
2020-11-04 16:32:56 +01:00
Ryan Mulligan
ba3fc8bf47
Merge pull request #102707 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.23.4 -> 2.23.8
2020-11-04 06:11:08 -08:00
Frederik Rietdijk
10c57af49c
Merge staging-next into staging
2020-11-04 09:28:07 +01:00
R. RyanTM
6391d3c1b5
picard-tools: 2.23.4 -> 2.23.8
2020-11-04 04:53:50 +00:00
Ryan Mulligan
4ee1f7bc2c
Merge pull request #102582 from r-ryantm/auto-update/marvin
...
marvin: 20.17.0 -> 20.19.0
2020-11-03 14:56:38 -08:00
Kevin Cox
d7a0daf2a1
Merge pull request #102420 from freezeboy/remove-plink
...
plink: remove (broken since 2014)
2020-11-03 07:49:09 -05:00
Frederik Rietdijk
470f05cb5d
Merge staging-next into staging
2020-11-03 12:06:41 +01:00
R. RyanTM
aea6594c69
marvin: 20.17.0 -> 20.19.0
2020-11-03 04:38:29 +00:00
Mario Rodas
98bf2ceb68
Merge pull request #102464 from r-ryantm/auto-update/igv
...
igv: 2.8.9 -> 2.8.11
2020-11-02 18:21:36 -05:00
Timo Kaufmann
9560149052
Merge pull request #102479 from r-ryantm/auto-update/jmol
...
jmol: 14.31.3 -> 14.31.14
2020-11-02 19:31:29 +01:00
R. RyanTM
ccabae32dd
gtkwave: 3.3.106 -> 3.3.107
2020-11-02 08:26:41 -08:00
R. RyanTM
41e1c236bf
cytoscape: 3.8.1 -> 3.8.2
2020-11-02 08:20:13 -08:00
R. RyanTM
3d40283367
jmol: 14.31.3 -> 14.31.14
2020-11-02 12:07:07 +00:00
R. RyanTM
8ef46be2a4
igv: 2.8.9 -> 2.8.11
2020-11-02 10:16:32 +00:00
Pavol Rusnak
2c931312ce
treewide: simplify rev/repo arguments in src
...
+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
freezeboy
1f7e201e9e
plink: remove (broken since 2014)
2020-11-02 03:24:16 +01:00
R. RyanTM
036cec187c
ginac: 1.7.9 -> 1.8.0
2020-11-01 17:19:05 -08:00
Frederik Rietdijk
83dde6c52c
Merge staging-next into staging
2020-11-01 10:11:12 +01:00
R. RyanTM
afa6047e12
gromacs: 2020.3 -> 2020.4
2020-11-01 00:24:33 +00:00
Vincent Laporte
8cab21b48b
Revert "coq: propagate and install ocaml and findlib"
...
This reverts commit 5d0e2dedd5
2020-10-31 09:08:06 +01:00
Justin Bedo
32573f4b6e
last: 1066 -> 1133
2020-10-31 10:59:02 +11:00
Maximilian Bosch
952dc5c7ff
Merge pull request #101421 from sikmir/geogebra
...
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0
2020-10-30 23:39:37 +01:00
Renato Alves
6e19ed0a52
lumpy: 0.3.0 -> 0.3.1
2020-10-30 01:28:00 +01:00
Renato Alves
a28e5b0a4f
samtools: 1.10 -> 1.11
2020-10-29 18:27:22 +01:00
Andreas Rammhold
db0fe5c3eb
Merge branch master into staging to fix eval error
...
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05eba8f542
2020-10-28 03:03:27 +01:00
Ben Siraphob
db74029e3e
treewide: remove package names from prefix of descriptions
2020-10-27 09:15:07 -07:00
Max Hausch
8fb91897f4
pspp 1.2.0 -> 1.4.1
2020-10-27 01:10:37 +01:00
Masanori Ogino
40fb3ed6dc
maxima: remove 5.41.0
...
It had been kept for SageMath, but it uses the default version nowadays
and this version is not referenced in nixpkgs.
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-10-27 06:09:12 +09:00
Maximilian Bosch
61fa498994
Merge pull request #101646 from luc65r/pkg/rofi-calc
...
rofi-calc: 1.8 -> 1.9
2020-10-26 16:36:43 +01:00
Ryan Mulligan
4fce633319
Merge pull request #101716 from r-ryantm/auto-update/openhantek6022
...
openhantek6022: 3.1.2 -> 3.1.3
2020-10-26 05:43:38 -07:00
Vladimír Čunát
336bc8283b
Re-Revert "Merge #101508 : libraw: 0.20.0 -> 0.20.2"
...
This reverts commit c778945806
2020-10-26 08:19:17 +01:00
R. RyanTM
250757970b
openhantek6022: 3.1.2 -> 3.1.3
2020-10-26 00:37:51 +00:00
Peter Simons
40bc6c8dad
Merge pull request #100393 from matthiasbeyer/update-r
...
R: 4.0.2 -> 4.0.3
2020-10-25 21:57:03 +01:00
Lucas Ransan
2436e41916
rofi-calc: 1.8 -> 1.9
2020-10-25 14:31:57 +01:00
Vladimír Čunát
c778945806
Revert "Merge #101508 : libraw: 0.20.0 -> 0.20.2"
...
I'm sorry; I didn't notice it contained staging commits.
This reverts commit 17f5305b6ca8a018ddc0
2020-10-25 09:41:51 +01:00
Vladimír Čunát
17f5305b6c
Merge #101508 : libraw: 0.20.0 -> 0.20.2
2020-10-25 09:28:53 +01:00
Nikolay Korotkiy
a2472ebfb1
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0
2020-10-23 19:25:11 +03:00
Vincent Laporte
2cb651ad14
cryptoverif: 2.01pl1 → 2.03pl1
2020-10-23 10:20:09 +02:00
Anderson Torres
253fb7648c
Merge pull request #101244 from zaninime/nanovna-saver
...
nanovna-saver: init at 0.3.7
2020-10-22 20:42:56 -03:00
Jan Tojnar
3e01d383ee
Merge branch 'staging-next' into staging
2020-10-22 21:20:32 +02:00
Francesco Zanini
2a54c4f950
nanovna-saver: init at 0.3.7
2020-10-22 16:23:13 +02:00
Daiderd Jordan
bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook
...
treewide: move fixDarwinDylibNames to nativeBuildInputs
2020-10-21 19:25:48 +02:00
Théo Zimmermann
5d0e2dedd5
coq: propagate and install ocaml and findlib
...
Fix #34657 .
2020-10-21 11:07:02 +02:00
markuskowa
4eb5b1285c
Merge pull request #101065 from markuskowa/fix-molcas
...
openmolcas: 19.11 -> 20.10
2020-10-21 09:37:28 +02:00
Andrew Childs
722d02a720
treewide: move fixDarwinDylibNames to nativeBuildInputs
...
This hook runs at build time and depends on executing
install_name_tool from binutils.
2020-10-21 13:26:53 +09:00
Guanpeng Xu
efe94c085b
mathematica: use opencv4
...
The default opencv2 is marked broken at 5e68d203
2020-10-21 08:36:54 +08:00
Austin Seipp
fba7eaeb63
Merge pull request #100741 from arcz/btor2tools
...
btor2tools: enable unix platforms
2020-10-19 16:18:56 -05:00
Markus Kowalewski
2eee4e4eac
openmolcas: 19.11 -> 20.10
2020-10-19 14:13:08 +02:00
Markus Kowalewski
8b02ff6b8e
openmolcas: fix build w.r.t. openblas
...
Fall out from switching openblas over to multiple outputs:
https://github.com/NixOS/nixpkgs/pull/98337
2020-10-19 14:00:48 +02:00
Masanori Ogino
096ef94717
gfan: fix build failures with cddlib v0.94l
...
It fixes https://github.com/NixOS/nixpkgs/issues/100622 .
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-10-19 10:29:01 +09:00
Gabriel Ebner
6d22203168
Merge pull request #101010 from r-ryantm/auto-update/lean
...
lean: 3.19.0 -> 3.21.0
2020-10-18 20:10:42 +02:00
R. RyanTM
855b84d8b0
lean: 3.19.0 -> 3.21.0
2020-10-18 17:00:15 +00:00
Doron Behar
1693d00562
Merge pull request #85456 from matthuszagh/kicad-libraries
2020-10-17 20:31:38 +03:00
Ryan Mulligan
ed8a50fa13
Merge pull request #100548 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.19 -> 1.8.22
2020-10-17 10:28:18 -07:00
Matt Huszagh
9320c69ecb
kicad: set default footprint, symbol library and package locations
...
Previously, these library locations were set absolutely. This
prevented overriding their locations with environment variables. Now,
setting the corresponding environment variable will override the
setting in the environment wrapper. For instance, I can set
KISYSMOD=/some/path/to/footprints
and this will be used as my footprint library instead of the default
footprint library in the nix store. This feature is particularly
useful for having kicad libraries which are writable.
2020-10-17 09:32:55 -07:00
Ben Siraphob
683a87dbeb
treewide: remove periods from end of package descriptions
2020-10-17 08:22:31 -07:00
Artur Cygan
5229b4502a
btor2tools: enable unix platforms
2020-10-16 19:39:46 +02:00
Ryan Mulligan
f9728adae7
Merge pull request #99128 from jbedo/delly
...
delly: 0.8.2 -> 0.8.5
2020-10-16 06:30:11 -07:00
R. RyanTM
a3dca9576b
deeptools: 3.4.1 -> 3.5.0
2020-10-16 00:42:47 -07:00
Doron Behar
1db3202722
Merge pull request #75843 from jbedo/lumpy
2020-10-15 19:46:13 +03:00
piegames
e14a359896
treewide: Fix broken desktop files and mark packages as broken
...
This fixes all packages that are failed `nixpkgs-review` in #91790 .
Packages that were broken prior to that PR were marked as broken.
Packages that failed because of #75729 were fixed.
2020-10-15 15:14:51 +02:00
R. RyanTM
af82dfa808
mavproxy: 1.8.19 -> 1.8.22
2020-10-15 05:05:52 +00:00
Frederik Rietdijk
b981eca057
Merge master into staging-next
2020-10-14 11:32:49 +02:00
Anderson Torres
a9637e5b52
Merge pull request #100357 from AndersonTorres/zegrapher-new
...
zegrapher: init at 3.1.1
2020-10-13 15:14:04 -03:00
Frederik Rietdijk
9e1943edc0
Merge master into staging-next
2020-10-13 19:34:34 +02:00
Vincent Laporte
33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 ( #100148 )
2020-10-13 10:16:11 +02:00
Matthias Beyer
ea4a13e573
R: 4.0.2 -> 4.0.3
...
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2020-10-13 10:05:15 +02:00
