Commit graph

1062 commits

Author SHA1 Message Date
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
Patrick Hilhorst a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01: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
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
Vincent Laporte 2806eb2743 coq_8_12: 8.12.0 → 8.12.1 2020-11-15 12:03:15 +01:00
R. RyanTM 8acd7a3540 workcraft: 3.3.0 -> 3.3.1 2020-11-12 10:54:47 +00:00
R. RyanTM f7485d07b5 lean: 3.21.0 -> 3.23.0 2020-11-11 15:16:44 -08: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
Frederik Rietdijk 470f05cb5d Merge staging-next into staging 2020-11-03 12:06:41 +01:00
Pavol Rusnak 2c931312ce treewide: simplify rev/repo arguments in src
+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
Frederik Rietdijk 83dde6c52c Merge staging-next into staging 2020-11-01 10:11:12 +01:00
Vincent Laporte 8cab21b48b Revert "coq: propagate and install ocaml and findlib"
This reverts commit 5d0e2dedd5.
2020-10-31 09:08:06 +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 1088f05 & eba8f542.
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
Vladimír Čunát 336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
2020-10-26 08:19:17 +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 17f5305b6c, reversing
changes made to a8a018ddc0.
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
Vincent Laporte 2cb651ad14 cryptoverif: 2.01pl1 → 2.03pl1 2020-10-23 10:20:09 +02:00
Jan Tojnar 3e01d383ee
Merge branch 'staging-next' into staging 2020-10-22 21:20:32 +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
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
Austin Seipp fba7eaeb63
Merge pull request #100741 from arcz/btor2tools
btor2tools: enable unix platforms
2020-10-19 16:18:56 -05:00
R. RyanTM 855b84d8b0 lean: 3.19.0 -> 3.21.0 2020-10-18 17:00:15 +00:00
Artur Cygan 5229b4502a btor2tools: enable unix platforms 2020-10-16 19:39:46 +02:00
Vincent Laporte 33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 (#100148) 2020-10-13 10:16:11 +02:00
Francesco Gazzetta a302261318 key: init at 2.6.3 2020-10-06 17:37:23 +02:00
Jakub Kądziołka 8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Vincent Laporte cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Doron Behar 0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3
why3: 1.3.1 -> 1.3.3
2020-09-23 10:35:57 +03:00
Robert Scott fc709e6dfe cvc3: enable for darwin
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
2020-09-22 23:06:45 -07:00
Robert Scott 53a8a415ac cvc3: fix build against bison 3.7
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
2020-09-22 23:06:45 -07:00
Austin Seipp daaa0e3350
Merge pull request #98239 from Sohalt/avy
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
Vincent Laporte 64b68b30e9
why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
sohalt 40722346b8 avy: 2017.10.16 -> 2019.05.01 2020-09-20 16:13:29 +02:00
Gabriel Ebner 67ff41201f leo3: fix executable 2020-09-19 15:05:02 +02:00
Vincent Laporte cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Thomas Tuegel 87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Badi Abdul-Wahid f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
Vincent Laporte 2a82f71bed
proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
R. RyanTM 1cd9dafce0 ott: 0.30 -> 0.31 2020-09-06 22:25:50 +01:00
Mario Rodas f7eb2883b5 lean: 3.18.4 -> 3.19.0 2020-08-29 04:20:00 +00:00
Vincent Laporte 5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
Austin Seipp 1e451da386
mcy: 2020.07.06 -> 2020.08.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Austin Seipp 0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Lassulus 15d98507ee
Merge pull request #87224 from Sohalt/isabelle
isabelle: 2018 -> 2020
2020-08-23 11:28:53 +02:00
Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel 1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Mario Rodas f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00
Lassulus 8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba
ltl2ba: 1.2 -> 1.3
2020-08-20 23:02:41 +02:00
Gabriel Ebner 7f31fe9ea6 vampire: 4.4 -> 4.5.1 2020-08-17 19:39:32 +02:00
Mario Rodas b05ede05a1
Merge pull request #90281 from purcell/fast-downward-darwin
fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues
2020-08-16 21:30:09 -05:00
Lorenz Leutgeb d50a6db016
z3: Add Java Bindings (#92096)
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
2020-08-15 07:37:38 +02:00
Vincent Laporte b8dfca143c coq_8_12: 8.12+β1 → 8.12.0
coqPackages.equations: 1.2.2 → 1.2.3
2020-08-08 06:33:08 +02:00
Vincent Laporte 390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
R. RyanTM 7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
Gabriel Ebner aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover
eprover: 2.4 -> 2.5
2020-08-01 11:12:37 +02:00
R. RyanTM 202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00:00
Yurii Rashkovskii cc8369c461 why3: 1.2.1 -> 1.3.1
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
2020-07-30 23:05:08 +02:00
Vladyslav M 77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-26 22:50:14 +03:00
Peter Simons b4dd96b206 sad: mark package as broken because if depends on dropped ghc-8.4.4
Ping @schmitthenner.
2020-07-24 13:06:29 +02:00
Martin Lundfall 424936ed33 cvc4: 1.6 -> 1.8
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2020-07-18 17:48:10 +02:00
Keshav Kini b28d329c62 drat-trim: 2017-08-31 -> 2020-06-05 2020-07-17 21:38:31 -07:00
Austin Seipp 44f8640ae4
mcy: 2020.03.21 -> 2020.07.06
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 10:33:09 -05:00
Austin Seipp a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp 63e55fae00
yosys: 2020.06.19 -> 2020.07.07
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Jörg Thalheim 223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
R. RyanTM 3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM 887f1978f6 tlaplusToolbox: 1.6.0 -> 1.7.0 2020-07-07 21:21:49 +00:00
R. RyanTM 12b36a950b ltl2ba: 1.2 -> 1.3 2020-07-05 14:25:04 +00:00
R. RyanTM a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean
lean: 3.16.2 -> 3.16.5
2020-07-02 15:27:58 +02:00
R. RyanTM 39ee2ab9c0 lean: 3.16.2 -> 3.16.5 2020-07-02 13:12:58 +00:00
Vincent Laporte d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
zowoq c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10:00
Daniël de Kok 5f0cf22c59 cadical: enable tests 2020-06-24 15:10:53 -07:00
Maximilian Bosch 44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
cadical: 1.2.1 -> 1.3.0
2020-06-23 23:33:10 +02:00
Vincent Laporte a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Narazaki, Shuji d6c90aea17 cadical: 1.2.1 -> 1.3.0 2020-06-15 22:56:41 +09:00
Steve Purcell af76ba6c57 fastdownward: 2019-05-13 -> 19.12
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
2020-06-15 10:40:53 +12:00
R. RyanTM e63bfcef96 lean: 3.15.0 -> 3.16.2 2020-06-14 19:32:20 +00:00
Steve Purcell 1058f8f8cf fast-downward: also build on darwin 2020-06-14 17:55:14 +12:00
Austin Seipp 23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp 13e52db31e
yosys: 2020.03.24 -> 2020.06.11
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Symphorien Gibol 0a488516be boolector: 3.0.0 -> 3.2.1
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
Symphorien Gibol 90b75531a5 btor2tools: pre55 -> 1.0.0-pre
version comes from the VERSION file in the repo
2020-06-08 17:32:07 -05:00
R. RyanTM 25300419fd lean: 3.14.0 -> 3.15.0 2020-06-06 10:55:48 +00:00
Sohalt 877af72161
Fixup
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-06-05 12:44:13 +02:00
Daiderd Jordan b7ddbd52bd
treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
R. RyanTM 8295aa6d8b cryptominisat: 5.7.0 -> 5.7.1 2020-05-27 13:51:14 -07:00
R. RyanTM 5841bc46f8 proverif: 2.00 -> 2.01 2020-05-27 12:07:52 -07:00
zowoq cb4cc7a480 sad: use patch file extension 2020-05-26 14:50:50 +10:00
R. RyanTM 7573e99a60 lean: 3.13.1 -> 3.14.0 2020-05-24 22:22:11 +00:00
Vincent Laporte 48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
R. RyanTM 748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Mario Rodas b022ecbf5d
lean: 3.10.0 -> 3.13.1 2020-05-16 04:20:00 -05:00
sohalt 7bf616dd77 Correct license 2020-05-10 00:49:56 +02:00
sohalt 9ec71eb051 use https 2020-05-10 00:46:00 +02:00
Gabriel Ebner 115fa1c129 elan: 0.9.0 -> 0.10.0 2020-05-08 17:17:03 +02:00
sohalt de81e8b961 isabelle: 2018 -> 2020 2020-05-08 00:33:03 +02:00
Gabriel Ebner f6f5f6a30f elan: 0.8.0 -> 0.9.0 2020-05-07 15:35:13 +02:00
Yurii Rashkovskii c73875ea1e tlaplus: 1.5.6 -> 1.7.0 2020-05-06 12:26:10 -07:00
R. RyanTM 0a115f8087 cryptominisat: 5.6.8 -> 5.7.0 2020-05-04 01:41:26 -07:00
Mario Rodas 3253c03d2e
lean: 3.9.0 -> 3.10.0 2020-05-02 04:20:00 -05:00
Pavol Rusnak 461a252bee
verifast: change license to MIT
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a

As this was the only package using lib.licenses.msrla I dropped it.
2020-04-23 09:59:33 +00:00
Benjamin Hipple e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin ad7b7367b6 beluga: 20180403 -> unstable-2020-03-11 2020-04-19 21:54:06 -04:00
Mario Rodas f37c9226fc
lean: 3.8.0 -> 3.9.0 2020-04-18 04:20:00 -05:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Mario Rodas 8e537ad391
lean: 3.7.2 -> 3.8.0 2020-04-09 10:40:00 -05:00
Jonathan Ringer 3238302827 libpoly: fix src 2020-04-09 11:22:53 -07:00
R. RyanTM f4a9fe36fa libpoly: 0.1.7 -> 0.1.8 2020-04-09 10:29:28 -07:00
Vincent Laporte f4ff33cce6 alt-ergo: 2.3.1 → 2.3.2 2020-04-08 10:23:48 +02:00
Vincent Laporte d6a8d0ca5b coq_8_11: 8.11.0 → 8.11.1 2020-04-05 15:32:32 +02:00
Narazaki, Shuji c5a12e33d2 cadical: init at 1.2.1 2020-04-05 00:22:36 +09:00
Austin Seipp 765b2fd866
mcy: 2020.03.16 -> 2020.03.21
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp 4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Vincent Laporte 618bca7054 alt-ergo: 2.3.0 → 2.3.1 2020-03-24 20:43:06 -04:00
Mario Rodas b2df6d541d
lean: 3.7.0 -> 3.7.2 2020-03-22 04:20:00 -05:00
Vincent Laporte 8dddd8a07f ocamlPackages.camlp5: 7.10 → 7.11 2020-03-19 18:04:14 -07:00
Austin Seipp 2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16
Now with working web UI dashboard -- but no working GUI (yet!)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp 5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp 9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
- Bump `abc-verifier` (2020.03.05)
  - Install `yosys-abc` symlink for tool compatbility
  - Various `yosys` expression cleanups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Mario Rodas c935567de6 lean: 3.6.1 -> 3.7.0 2020-03-14 01:32:58 +00:00
Michael Raskin bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init
clingcon: init at 3.3.0
2020-03-09 07:42:38 +00:00
mucaho 202c2a8eff clingcon: init at 3.3.0 2020-03-08 19:21:55 +01:00
Maximilian Bosch 84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
satallax: Fix build with GCC9
2020-03-08 16:12:40 +01:00
Vincent Laporte dcfccdfc33
acgtk: 1.5.0 → 1.5.1 (#81539)
Co-authored-by: Jon <jonringer@users.noreply.github.com>
2020-03-07 09:56:18 +01:00
Gabriel Ebner 8428f5bb4a elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00
Gabriel Ebner 70e5428d66 elan: 0.7.5 -> 0.8.0 2020-03-06 14:28:36 +01:00
Joachim Breitner 2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)

js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1

Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Mario Rodas 1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft
workcraft: 3.2.5 -> 3.2.6
2020-03-05 07:42:25 -05:00
Daniel Schaefer bc56175034 satallax: Fix build with GCC9 2020-03-05 05:16:49 +01:00
R. RyanTM 86e6080daf workcraft: 3.2.5 -> 3.2.6 2020-03-04 13:41:09 +00:00
Gabriel Ebner 0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean
lean: 3.6.0 -> 3.6.1
2020-03-04 10:32:38 +01:00
R. RyanTM 5b833c08ef lean: 3.6.0 -> 3.6.1 2020-03-04 06:26:01 +00:00
Aiken Cairncross 3db82f6fc3 python3Packages.monosat: Fix hash
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
Aiken Cairncross 2148a154c6 python3Packages.monosat: Fix Python 3.8 build 2020-03-03 07:40:57 +01:00
Austin Seipp 7e66ce29bf
mcy: init at 2020.02.05
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Austin Seipp 3d8efecda1
symbiyosys: fix calls to external programs
48085826f broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.

But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.

This also does some other minor clean up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Mario Rodas 79f057e2eb
lean: 3.5.1 -> 3.6.0 2020-02-26 18:00:00 -05:00
Benjamin Hipple ed85c9981a elan: upgrade cargo fetcher and cargoSha256
Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00
Junyoung Clare Jang b71c03e483
lean: 3.4.2 -> 3.5.1
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
Benjamin Hipple eb11feaa0b treewide: change fetchCargoTarball default to opt-out
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.

This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.

See #79975 for details.
2020-02-13 22:41:37 -08:00
R. RyanTM 1d4fd7f5f2 verifast: 18.02 -> 19.12 2020-02-09 14:29:31 -06:00
Ryan Mulligan c9cf351871 Merge pull request #79479 from r-ryantm/auto-update/workcraft
workcraft: 3.1.9 -> 3.2.5
2020-02-09 06:37:47 -08:00
Jannik Vierling 6ea5cd21ab iprover: 2018_Jul_24_11h -> 3.1 2020-02-09 09:38:57 +01:00