Commit Graph

20419 Commits

Author SHA1 Message Date
Herwig Hochleitner
7b866fdff9 chromium: create libexec output dir in installphase 2017-09-15 17:50:18 +02:00
Nadrieril
d0090c0941
bitlbee-facebook: 1.1.1 -> 1.1.2 2017-09-15 10:06:48 +02:00
adisbladis
090947b285
go-ethereum: 1.6.7 -> 1.7.0 2017-09-15 09:57:02 +02:00
Herwig Hochleitner
209b9e88df chromium: remove swiftshader install dir 2017-09-15 08:59:14 +02:00
Gabriel Ebner
aad00e35db lean: 3.2.0 -> 3.3.0 2017-09-15 08:48:02 +02:00
Anthony Cowley
50a33089c6 emacsMacport: emacs-25.2 => 25.3, macport-6.3 => 6.7 2017-09-14 16:22:19 -04:00
Jörg Thalheim
9366d013f0 Merge pull request #28345 from moretea/openshift-origin
openshift: 1.5.0 -> 3.6.0
2017-09-14 20:36:57 +01:00
Herwig Hochleitner
2773508b5d chromium: 60.0.3112.113 -> 61.0.3163.79
CVE-2017-5111
CVE-2017-5112
CVE-2017-5113
CVE-2017-5114
CVE-2017-5115
CVE-2017-5116
CVE-2017-5117
CVE-2017-5118
CVE-2017-5119
CVE-2017-5120
2017-09-14 20:15:57 +02:00
John Ericson
1055c43200 yabar: pkg-config should be a native build input 2017-09-14 13:40:24 -04:00
Thomas Tuegel
815135f31b Merge pull request #29369 from bkchr/remove_kde4_workspace_kde_telepathy
Remove kde4workspace and kdetelepathy
2017-09-14 10:13:15 -05:00
Bastian Köcher
5b91f125aa mailnag: 1.1.0 -> 1.2.1 2017-09-14 17:06:31 +03:00
Tuomas Tynkkynen
14b833e560 awesomebump: Yet another RPATH-contains-TMPDIR hack
https://github.com/NixOS/patchelf/pull/98
2017-09-14 15:45:24 +03:00
Tuomas Tynkkynen
eab8124939 pythonmagick: Fix sha256 2017-09-14 15:45:24 +03:00
Bastian Köcher
c01e064750 kdeTelepathy: Remove, because it is not maintained anymore 2017-09-14 13:00:53 +02:00
Robert Helgesson
2a36c6c185
josm: minor cleanups
- Use `makeWrapper` to generate wrapper script.

- Use `buildCommand` instead of explicit phases.`
2017-09-14 12:04:23 +02:00
Robert Helgesson
fd4d957ac4
josm: 12545 -> 12712 2017-09-14 11:58:25 +02:00
Frederik Rietdijk
3c30b5dc3d Merge pull request #29356 from zraexy/streamlink
streamlink: 0.7.0 -> 0.8.1
2017-09-14 10:29:36 +02:00
Peter Hoeg
addfb83852 neomutt: 20170907 -> 20170912 2017-09-14 14:43:07 +08:00
Ruben Maher
e828dcb5cd nextcloud-client: provide optional gnome-keyring integration
`qtkeyring` can use `gnome-keyring`, but it needs some help to find it.

I have not enabled this by default because not everyone who uses this will want
to pull in GNOME dependencies.
2017-09-14 08:42:55 +09:30
Ruben Maher
4ce18c8367 nextcloud-client: enable parallel building
So that the client can build faster.
2017-09-14 08:42:55 +09:30
Ruben Maher
e02f936b27 nextcloud-client: add inotify dependency when building on linux
This allows for more efficient change detection.
2017-09-14 08:42:55 +09:30
Ruben Maher
ebb6488e74 nextcloud-client: use cmakeDir and cmakeFlags attrs 2017-09-14 08:42:55 +09:30
Kirill Boltaev
73af0b1696 chromium: 60.0.3112.90 -> 60.0.3112.113 2017-09-14 00:40:57 +02:00
Jörg Thalheim
a7637b3795 Merge pull request #29316 from NeQuissimus/minikube_0_22_1
minikube: 0.22.0 -> 0.22.1
2017-09-13 23:40:11 +01:00
Jörg Thalheim
0febf8d43c Merge pull request #29304 from woffs/oysttyer
oysttyer-2.9.1
2017-09-13 23:17:45 +01:00
Jörg Thalheim
50cf2a7156 Merge pull request #29309 from NeQuissimus/atom_1_20_0
atom: 1.19.7 -> 1.20.0
2017-09-13 22:21:29 +01:00
Jörg Thalheim
c188741eb2 Merge pull request #29325 from jtojnar/fix/sublime-3
sublime3: 3126 → 3143
2017-09-13 22:07:43 +01:00
Yann Hodique
85f3834bad hugo: 0.27 -> 0.27.1 2017-09-13 22:49:15 +02:00
Matthias Beyer
b0237f767e bean-add: 2017-04-16 -> 2017-09-13 2017-09-13 21:53:56 +02:00
Matthias Beyer
8c1403066c rtv: 1.15.1 -> 1.18.0
Disable tests, which try to access the network.
2017-09-13 21:53:55 +02:00
Matthias Beyer
495dbc2cc2 mdp: 1.0.9 -> 1.0.10 2017-09-13 21:44:49 +02:00
Matthias Beyer
30a1e189ac ctodo: 1.2 -> 1.3 2017-09-13 21:44:49 +02:00
Matthias Beyer
678c149e53 buku: 3.0 -> 3.3.1 2017-09-13 21:44:49 +02:00
Matthias Beyer
56cf561581 toot: 0.13.0 -> 0.15.0 2017-09-13 21:44:49 +02:00
Domen Kožar
4ffa9ace43
Add atom-beta 2017-09-13 21:08:32 +02:00
Joachim F
d1f0affe33 Merge pull request #28869 from symphorien/bombono
bombono: init at 1.2.4
2017-09-13 18:46:13 +00:00
Jan Tojnar
74065fc780
sublime3: 3126 → 3143 2017-09-13 20:34:50 +02:00
Vincent Laporte
cc5491d02c proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
Jörg Thalheim
13edd9765a Merge pull request #29125 from geistesk/firehol-3.1.4
firehol: init at 3.1.4, iprange: init at 1.0.3
2017-09-13 18:10:22 +01:00
Joachim F
2a329d4c18 Merge pull request #29314 from mdorman/emacs-updates
Semi-automated Emacs package updates
2017-09-13 16:25:55 +00:00
Joachim F
35f38bfc46 Merge pull request #29308 from taku0/flashplayer-27.0.0.130
flashplayer: 26.0.0.151 -> 27.0.0.130 [Critical security fixes]
2017-09-13 16:25:13 +00:00
Bjørn Forsman
67c70aa581 OVMF: add 'src' attribute
No functional change, but allows getting the source via the standard
attribute: `nix-build -A OVMF.src`.
2017-09-13 17:30:28 +02:00
Tim Steinbach
d12d2c1e1c
minikube: 0.22.0 -> 0.22.1 2017-09-13 11:29:54 -04:00
John Ericson
8fccaa284d Merge pull request #29282 from obsidiansystems/soext
lib, treewide: Add `*Platform.extensions` and use it where possible
2017-09-13 11:20:06 -04:00
John Ericson
5aec3f96a2 treewide: Use *Platform.extensions 2017-09-13 11:16:10 -04:00
Frank Doepper
9c4233f7b6 oysttyer: init at 2.9.1
A Perl Console Twitter Client
2017-09-13 16:38:15 +02:00
Michael Alan Dorman
9feb5bdf06 melpa-packages: 2017-09-13
Removals:
 - debian-bug: removed from melpa
 - debian-changelog-mode: removed from melpa
 - rcirc-color: removed from melpa
 - sentence-highlight: removed from melpa
2017-09-13 10:28:38 -04:00
Michael Alan Dorman
b9eb2d3348 melpa-stable-packages: 2017-09-13
Removals:
 - sentence-highlight: removed from melpa
2017-09-13 10:28:38 -04:00
Michael Alan Dorman
cfe5664e04 org-packages: 2017-09-13 2017-09-13 10:28:38 -04:00
Michael Alan Dorman
bae9557826 elpa-packages: 2017-09-13 2017-09-13 10:28:37 -04:00
Tuomas Tynkkynen
84544c5bc2 seabios: Only works on x86
https://hydra.nixos.org/build/60949790
2017-09-13 15:18:15 +03:00
Tim Steinbach
3d812d2037
atom: 1.19.7 -> 1.20.0 2017-09-13 08:15:11 -04:00
taku0
c2e7d1f1f2 flashplayer: 26.0.0.151 -> 27.0.0.130 2017-09-13 20:45:30 +09:00
dywedir
15002fbf7e mpv: 0.26.0 -> 0.27.0 2017-09-13 12:23:04 +02:00
Jörg Thalheim
2c01a6fc1f Merge pull request #29025 from dotlambda/seafile-client
seafile-client: add optional Shibboleth support
2017-09-13 10:36:29 +01:00
Eelco Dolstra
e3b562e0e2 blender: 2.78c -> 2.79 2017-09-13 09:54:42 +02:00
Joachim F
ddd8dc072e Merge pull request #29255 from orivej/aseprite
aseprite: 0.9.5 -> 1.1.7
2017-09-12 22:37:22 +00:00
Joachim F
026225e7c8 Merge pull request #29261 from mbrock/master
emacs: 25.2 -> 25.3
2017-09-12 22:32:29 +00:00
Jörg Thalheim
4f6850c80c Merge pull request #29276 from sigma/pr/hugo-0.27
hugo: 0.26 -> 0.27
2017-09-12 23:06:18 +01:00
zraexy
e87a72caef streamlink: 0.7.0 -> 0.8.1 2017-09-12 12:39:08 -08:00
Robert Helgesson
3c14ef0c4a Merge pull request #29184 from Ma27/yabar/install-hooks
yabar: minor derivation improvements
2017-09-12 22:27:05 +02:00
Maximilian Bosch
178251001a
yabar: add unstable package 2017-09-12 22:05:13 +02:00
Vladimír Čunát
422adc3063
Merge branch 'staging'
10k staging builds are not yet finished on Hydra (mostly darwin),
but we now have a 20k jobs rebuilding directly on master, so we would
never get to merge this way...
2017-09-12 19:17:52 +02:00
Tuomas Tynkkynen
e6e8565131 toxic: Disable on Darwin
Last successful build 2014-03-12 17:47:58

https://hydra.nixos.org/build/59716009
2017-09-12 14:58:46 +03:00
Jörg Thalheim
2d77958271 Merge pull request #29007 from mguentner/avrclean
avr-*: split avr-gcc-libc into separate packages
2017-09-12 10:28:56 +01:00
Jörg Thalheim
7f2f427e8f cheat: 2.2.0 -> 2.2.1 2017-09-12 09:38:20 +01:00
Jörg Thalheim
63523aaaf6 Merge pull request #29168 from orivej/gopherclient
gopherclient: init at 2016-10-02
2017-09-12 08:34:12 +01:00
Mikael Brockman
78f457c76c emacs: 25.2 -> 25.3
https://lists.gnu.org/archive/html/emacs-devel/2017-09/msg00211.html

> This is an emergency release to fix a security vulnerability in Emacs.
>
> Enriched Text mode has its support for decoding 'x-display' disabled.
> This feature allows saving 'display' properties as part of text.
> Emacs 'display' properties support evaluation of arbitrary Lisp forms
> as part of instantiating the property, so decoding 'x-display' is
> vulnerable to executing arbitrary malicious Lisp code included in the
> text (e.g., sent as part of an email message).
2017-09-12 09:45:02 +03:00
Jörg Thalheim
ca449e93ea Merge pull request #29248 from Lassulus/altcoins
Altcoins: remove obsolete override, update some altcoins
2017-09-12 07:16:33 +01:00
Orivej Desh
247fa20962 aseprite: install desktop icons 2017-09-12 04:51:12 +00:00
Orivej Desh
f0483d59f3 aseprite unfree: init at 1.2-beta12 2017-09-12 00:52:57 +00:00
Orivej Desh
05eb7ba6e4 aseprite: 0.9.5 -> 1.1.7 2017-09-11 23:44:33 +00:00
Frederik Rietdijk
628b6c0e9d Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-11 22:52:53 +02:00
Silvan Mosberger
31f349dbb4 namecoin: legacy 0.3.80 -> core 0.13.0rc1
This updates namecoin from a legacy version from about 3 years ago
(https://github.com/namecoin/namecoin-legacy) to
the new namecoin-core.

(cherry picked from commit 8bd3664f373cb78a0526dc8a86e750f55b96420a)
2017-09-11 22:02:31 +02:00
lassulus
f87d4ac2c1 bitcoin-xt: 0.11F -> 0.11G2 2017-09-11 22:01:32 +02:00
lassulus
077dd9fca3 altcoins: remove obsolete boost override 2017-09-11 21:45:22 +02:00
Jörg Thalheim
f3ecd570ed Merge pull request #29114 from AndersonTorres/upload/moe
Moe: init at 1.9
2017-09-11 19:59:25 +01:00
Jörg Thalheim
9d608f5ae9 Merge pull request #29210 from markus2342/fix-dmenu-wayland-build
dmenu-wayland: git-2014-11-02 -> git-2017-04-07 fix build
2017-09-11 19:30:08 +01:00
timor
124b3c8ead qfsm: fix build with gcc 6 (#29245) 2017-09-11 20:26:24 +02:00
Bjørn Forsman
88ae298467 qmmp: 1.1.9 -> 1.1.10 2017-09-11 20:07:03 +02:00
Bjørn Forsman
4b84127f1c qmmp: 1.1.5 -> 1.1.9 2017-09-11 19:58:11 +02:00
Jörg Thalheim
e0f5bee001 Merge pull request #29241 from rvolosatovs/update/mopidy-iris
mopidy-iris: 3.3.3 -> 3.4.1
2017-09-11 18:46:25 +01:00
Michael Weiss
6373c9606d vpcs: init at 0.8 2017-09-11 18:54:30 +02:00
Maximilian Bosch
12e79f1358
yabar: add optional configFile value to derivation 2017-09-11 18:27:11 +02:00
Maximilian Bosch
0761e74c38
yabar: cleanup derivation
The latest changes from `yabar` require several
changes in the derivation to build the
package successfully.
2017-09-11 18:26:34 +02:00
Jörg Thalheim
58ad01ab70 Merge pull request #29156 from Lassulus/bitcoin-classic
bitcoin-classic: 1.2.5 -> 1.3.6
2017-09-11 16:58:12 +01:00
Bjørn Forsman
f4bac5cdb7 wireshark: 2.4.0 -> 2.4.1
Remove patches that have been merged upstream.
2017-09-11 17:24:33 +02:00
Roman Volosatovs
383b7c658a
mopidy-iris: 3.3.3 -> 3.4.1 2017-09-11 17:09:29 +02:00
Jörg Thalheim
bb2e6d131e altcoins: remove pkgs non-sense 2017-09-11 15:57:45 +01:00
Yann Hodique
ebf1f8c4e6
hugo: 0.26 -> 0.27 2017-09-11 07:28:02 -07:00
Jörg Thalheim
42dc882c65 Merge pull request #29215 from AndersonTorres/upload/jupp
jupp: init at 3.1
2017-09-11 14:33:51 +01:00
Michael Weiss
1011c76598 dynamips: init at 0.2.17 2017-09-11 15:17:56 +02:00
Bjørn Forsman
28f780b320 eagle: 7.5 -> 7.7
This is the latest release from Cadsoft, before they were bought by
Autocad. Autocad has released 8.x, but

- it requires reworking the Nix expression (different packaging)
- the paid license version requires a monthly subscription fee, you never
  "own" the software (AFAICT).

Due to the licensing change in 8.x, I think keeping Eagle 7.x around is
a good idea.
2017-09-11 14:44:43 +02:00
Jörg Thalheim
65b4f4f09f Merge pull request #29230 from hiberno/add-readline-to-tasksh
tasksh: Add readline support.
2017-09-11 11:43:31 +01:00
Thomas Tuegel
a7ebdf1371 Merge pull request #29129 from jokogr/u/sddm-0.15.0
sddm: 0.14.0 -> 0.15.0
2017-09-11 05:09:57 -05:00
Thomas Tuegel
6299659da6 Merge pull request #29117 from bkchr/kde_applications_17_08_1
kdeApplications: 17.08.0 -> 17.08.1
2017-09-11 05:09:23 -05:00
hiberno (Christian Lask)
38563d6130
tasksh: Add readline support. 2017-09-11 11:25:59 +02:00
Peter Hoeg
90b3d2db91 qtox: drop gtk2 dependency
Tray icon still works without gtk2.
2017-09-11 15:01:11 +08:00
dywedir
1b261730f2 feh: 2.19.3 -> 2.20 2017-09-11 07:26:14 +02:00
Bastian Köcher
e1ee06de1b kdeApplications: 17.08.0 -> 17.08.1 2017-09-10 20:52:37 +02:00
AndersonTorres
4f976bdd3e jupp: init at 3.1
jupp is a fork of joe's editor.
2017-09-10 13:41:49 -03:00
timor
274333e222 ParaView: 4.0.1 -> 5.4.0 2017-09-10 18:02:38 +02:00
Markus Mueller
301ab39213 dmenu-wayland: git-2014-11-02 -> git-2017-04-07 fix build
Bumped and fixed substitution for package to build successfully.
2017-09-10 15:21:35 +00:00
Maarten Hoogendoorn
d27f710b87 mount is in utillinux 2017-09-10 16:07:50 +02:00
Jörg Thalheim
accb333f01 Merge pull request #29179 from matthiasbeyer/update-audacity
audacity: 2.1.2 -> 2.1.3
2017-09-10 14:21:17 +01:00
Maarten Hoogendoorn
5e5e57b57b mcrl2: force use of gcc5 to prevent compilation errors 2017-09-10 15:09:46 +02:00
Matthias Beyer
fd1e362205 audacity: 2.1.2 -> 2.1.3
* Remove gcc-6 patch to make it compile
* Add autoreconf call in preConfigure phase
  Inspired by
  https://git.archlinux.org/svntogit/packages.git/tree/trunk/PKGBUILD?h=packages/audacity

Suggested-by: Moritz Ulrich <moritz@tarn-vedra.de>
2017-09-10 13:33:24 +02:00
Jörg Thalheim
ca6efcd2fe Merge pull request #29181 from bachp/riot-web-1.12.3
riot-web: 1.12.2 -> 1.12.3
2017-09-10 11:46:59 +01:00
Eelco Dolstra
bcd382f032
tribler: 7.0.0-beta -> 7.0.0-rc2
Also, fix the xcb plugin error
(https://github.com/NixOS/nixpkgs/issues/24256) and add service-identity which is a required dependency now.
2017-09-10 12:07:24 +02:00
Ioannis Koutras
01b4c3c13b sddm: 0.14.0 -> 0.15.0 2017-09-10 12:41:47 +03:00
Pascal Bach
44ec317a13 riot-web: 1.12.2 -> 1.12.3 2017-09-10 11:11:43 +02:00
Peter Hoeg
af1f99143f sane-frontends: boy scout cleanups 2017-09-10 15:46:43 +08:00
Peter Hoeg
67c949a8b6 sane-backends: 1.0.25 -> 1.0.27
Use a proper upstream as well.
2017-09-10 15:46:38 +08:00
Peter Hoeg
2dff799a10 sane-backends: support parallel building 2017-09-10 15:46:34 +08:00
Frederik Rietdijk
dab3272f47 Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-10 08:56:39 +02:00
Peter Hoeg
758c597696 kget: init at 20170903 2017-09-10 13:45:05 +08:00
Orivej Desh
e47543f1be gopherclient: init at 2016-10-02 2017-09-10 03:04:57 +00:00
Daiderd Jordan
c0e7983359
et: fix build with clang 2017-09-09 23:42:16 +02:00
lassulus
0a4a6f71cb bitcoin-classic: 1.2.5 -> 1.3.6 2017-09-09 21:11:39 +02:00
Joachim F
4e901ff2d8 Merge pull request #28723 from moaxcp/master
notion: 3-2015061300 -> 3-2017050501
2017-09-09 19:03:29 +00:00
Joachim Fasting
f84125c3b1
tor-browser-bundle-bin: runtime purity improvements
These changes reduce file accesses outside TBB_HOME or the Nix store, as
determined by running under strace -e access,open,stat.
2017-09-09 17:37:14 +02:00
Joachim Fasting
c8f2dbae9f
tor-browser-bundle-bin: hard-code path to desktop Icon 2017-09-09 17:37:09 +02:00
AndersonTorres
6126e3add4 Moe: init at 1.9
Moe is a small text editor.
2017-09-09 09:57:38 -03:00
Vincent Laporte
b5c9a47b85 smplayer: 17.8.0 -> 17.9.0 2017-09-09 14:45:26 +02:00
Arseniy Seroka
2a56e0384e Merge pull request #29098 from NeQuissimus/minikube_0_22
minikube: 0.21.0 -> 0.22.0
2017-09-09 15:17:45 +03:00
Bjørn Forsman
15c18cef3d kicad: 4.0.6 -> 4.0.7 2017-09-09 13:05:07 +02:00
Bjørn Forsman
dfbb710375 kicad: put the full version string in name 2017-09-09 13:03:09 +02:00
Michael Weiss
40e5382109 android-studio-preview: 3.0.0.12 -> 3.0.0.13 2017-09-09 12:22:33 +02:00
Jörg Thalheim
981728d8f4 Merge pull request #29127 from NeQuissimus/vscode_1_16_0
vscode: 1.15.1 -> 1.16.0
2017-09-09 11:06:24 +01:00
Frederik Rietdijk
6589ee83c2 Merge pull request #29134 from abbradar/protobuf
Update protobuf and remove old versions
2017-09-09 09:27:10 +02:00
Daniel Fullmer
8c2895400f k2pdfopt: 2.32 -> 2.42 2017-09-09 02:22:58 -04:00
Nikolay Amiantov
1f2a18d916 protobuf: remove old versions
This leaves only protobuf3_1 which is the last version with libprotobuf2.

Also fix several packages to build with the latest protobuf.
2017-09-09 05:54:43 +03:00
Nikolay Amiantov
b3c35a3974 openbrf: fix build 2017-09-09 05:25:37 +03:00
Peter Hoeg
608fe16482 neovim-qt: 0.2.7 -> 0.2.8
We now also run some of the tests which is better than nothing.
2017-09-09 09:32:13 +08:00
Peter Hoeg
b21778f43e neomutt: 20170714 -> 20170907 2017-09-09 09:32:09 +08:00
Daniel Fullmer
6182b67228 gocr: Install libraries and includes 2017-09-08 19:28:39 -04:00
geistesk
f84a8fb605 firehol: init at 3.1.4 2017-09-09 00:29:39 +02:00
geistesk
5e25459144 iprange: init at 1.0.3 2017-09-09 00:29:12 +02:00
Daiderd Jordan
25f74ecc8b
c3d: fix darwin build 2017-09-08 22:45:54 +02:00
Tom Saeger
d6cebc8b39 pythonPackages.dotfiles: 0.6.3 -> 0.6.4 2017-09-08 22:24:27 +02:00
Tim Steinbach
58963fda09
vscode: 1.15.1 -> 1.16.0 2017-09-08 16:01:35 -04:00
Frederik Rietdijk
fc75bcec48 Revert "pitivi: fix path to gst-python"
This reverts commit c10a1c6e1c.

Not needed anymore since the issue is fixed properly in 23cc97f16b.
2017-09-08 21:54:10 +02:00
Daiderd Jordan
a8382432d9
autotrace: fix darwin build 2017-09-08 21:08:15 +02:00
Robert Helgesson
c10a1c6e1c
pitivi: fix path to gst-python
This fixes the `object() takes no parameters` error that shows up on
startup.
2017-09-08 20:51:03 +02:00
Frederik Rietdijk
febd5e323d Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-08 20:48:14 +02:00
zimbatm
9f2ff1d31a terraform: revamp the providers list (#29097)
This fixes the ./update-all script to actually fetch all the available
providers (thanks pagination). It was also improver to user a more
compact representation of the data.
2017-09-08 19:36:43 +01:00
Franz Pletz
913c245d91 Merge pull request #29046 from jluttine/update-rssguard
rssguard: 3.4.0 -> 3.4.2
2017-09-08 18:37:02 +02:00
Thomas Tuegel
a6fcd2ce2f
dropbox: 33.4.23 -> 34.4.20 2017-09-08 11:36:05 -05:00
gnidorah
9810c0c911 rambox: 0.5.10 -> 0.5.12 2017-09-08 18:29:26 +02:00
Markus Mueller
edd94f5fcd mcrl2: 201409 -> 201707 2017-09-08 18:26:25 +02:00