mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 08:31:59 +00:00
Code Issues Wiki Activity
91239 commits 244 branches 124 tags 7.5 GiB
Commit graph

1003 commits

Author SHA1 Message Date
Vladimír Čunát e757404555 Merge branch 'master' into staging 
Hydra nixpkgs: ?compare=1279790
 2016-06-19 12:33:04 +02:00
Vladimír Čunát 97c484a10f treewide: fix #include errors after gcc-5.4 
They were mostly missing <cmath> or <math.h>.
 2016-06-19 10:18:30 +02:00
mimadrid aa8eba9d95
weka: 3.6.12 -> 3.8.0 
Closes #16055
 2016-06-16 15:47:48 +02:00
mimadrid 9b7a53d9cb
cytoscape: init at 3.4.0 
Closes #16197
 2016-06-16 15:47:21 +02:00
Robin Gloster 8031cba2ab Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-06-10 09:27:04 +00:00
Christopher Lübbemeier ac4903284c gmsh: init at 2.12.0 2016-06-09 18:54:26 +02:00
Vincent Laporte a577b3666e why3: 0.87.0 -> 0.87.1 2016-06-09 09:51:38 +02:00
Luis Pedro Coelho bd617cb185 init bwa at 0.7.15 
Closes #16064
 2016-06-08 17:25:20 +01:00
Tuomas Tynkkynen f1d83444a5 openmodelica: Use makeLibraryPath 2016-06-07 21:18:02 +03:00
Joachim Fasting e65698db0b Merge pull request #15939 from ChrisJefferson/fix-gap 
gap : 4.4.12 -> 4.8.3
 2016-06-04 01:14:09 +02:00
Chris Jefferson 75f793bbb2 gap : 4.4.12 -> 4.8.3 2016-06-03 19:01:12 +01:00
Tuomas Tynkkynen bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Robin Gloster 2d382f3d98 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-30 19:39:34 +00:00
Nikolay Amiantov 51f479465c qgroundcontrol: fix build 2016-05-29 19:51:22 +03:00
Moritz Ulrich 7b2fab05f3 Merge pull request #15606 from dvc94ch/fpga-toolchain-updates 
FPGA toolchain updates
 2016-05-28 15:41:10 +02:00
Vladimír Čunát e4832c7541 Merge branch 'staging' 
Includes a security update of libxml2.
 2016-05-27 15:58:40 +02:00
Vladimír Čunát 81039713fa Merge branch 'master' into staging 
... to get the systemd update (rebuilding ~7k jobs).
 2016-05-26 16:50:22 +02:00
Vladimír Čunát ee1a10ee6b Revert "root: enable parallel building" 
This reverts commit 2991fdca52.
Hydra builds often report missing various files.
 2016-05-26 16:27:59 +02:00
Tobias Geerinckx-Rice dce1edf946
samtools: 1.3 -> 1.3.1 2016-05-25 02:06:47 +02:00
Nicolò Balzarotti c1c0c99af3 yarp: 2.3.64 -> 2.3.65 (#15662) 2016-05-24 13:30:52 +02:00
David Craven 509ce20ded verilog: 0.97 -> 2016.05.21 2016-05-22 07:38:57 +02:00
David Craven ce3d510d90 verilator: 3.874 -> 3.884 2016-05-22 07:38:57 +02:00
Tuomas Tynkkynen 8d473f107c treewide: Make explicit that 'dev' output of readline is used 2016-05-19 10:03:35 +02:00
Tuomas Tynkkynen 47c45e2041 treewide: Make explicit that 'dev' output of gmp is used 2016-05-19 10:00:36 +02:00
Tuomas Tynkkynen 85a51074dc treewide: Make explicit that 'dev' output of atk is used 2016-05-19 10:00:25 +02:00
Franz Pletz f8d481754c
Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-05-18 17:10:02 +02:00
Peter Simons 8e462995ba Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
Vladimír Čunát 6c2fbfbd77 Merge branch 'master' into staging 2016-05-12 04:53:38 +02:00
Bjørn Forsman 300e495101 sigrok: update whole suite to latest (2016-01) 
Release announcement, 2016-01-30:
https://www.sigrok.org/blog/major-sigrok-releases-libsigrok-libsigrokdecode-sigrok-cli-pulseview

I first tried updating the projects in separate commits. But later I
found cyclic dependencies, that would break git bisect, so I ended up
squashing the commits:

* libsigrok: 0.3.0 -> 0.4.0
  Enable building libsigrokcxx.so, the C++ bindings for libsigrok, by
  adding doxygen, glibmm and python as build deps. This is needed for
  Pulseview >= 0.3.0. Also update the firmware (sigrok-firmware-fx2lafw)
  while at it.

* libsigrokdecode: 0.3.0 -> 0.4.0

* sigrok-cli: 0.5.0 -> 0.6.0

* pulseview: 0.2.0 -> 0.3.0
  New dependency: glibmm (due to libsigrokcxx.pc from libsigrok).

Note that collectd is incompatible with the new libsigrok release, so
I let it use the old one (0.3.0).
 2016-05-11 22:23:29 +02:00
Eelco Dolstra 7ce5d43c63 Fix some URLs that lacked a URI scheme 2016-05-09 19:35:05 +02:00
Vladimír Čunát 65a9fa8cdc Merge branch 'master' into staging 2016-05-08 21:24:48 +02:00
Gabriel Ebner 516f331227 minisat: migrate from builderDefsPackage to mkDerivation 2016-05-08 15:32:58 +02:00
Gabriel Ebner 3f19d757cb veriT: disable broken static linking 2016-05-08 15:11:29 +02:00
Vladimír Čunát 1dc36904d8 Merge #14920: windows improvements, mainly mingw 2016-05-05 08:30:19 +02:00
Joachim Fasting 35efc53274 Merge pull request #15214 from taku0/lp_solve_isnan 
lp_solve: fixed build error due to defining isnan
 2016-05-04 20:55:51 +02:00
taku0 f2bab58b3e lp_solve: change source URL to mirror 2016-05-04 22:17:56 +09:00
taku0 3fa49d5ac4 lp_solve: updated description 2016-05-04 22:03:22 +09:00
taku0 725c85c720 lp_solve: fixed build error due to defining isnan 2016-05-04 19:58:05 +09:00
Tuomas Tynkkynen aadaa91379 Merge remote-tracking branch 'upstream/master' into staging 
Conflicts:
	pkgs/applications/networking/browsers/vivaldi/default.nix
	pkgs/misc/emulators/wine/base.nix
 2016-05-03 23:12:48 +03:00
Robin Gloster c92bca56f8 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-02 22:58:02 +00:00
Vincent Laporte 60a7c607d1 hol-light: fix build with camlp5-6.16 2016-05-01 16:10:09 +02:00
Nikolay Amiantov 87ebab128a replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00
Tuomas Tynkkynen 4ff8f377af Merge remote-tracking branch 'upstream/master' into staging 2016-04-28 00:13:53 +03:00
Tuomas Tynkkynen ca0e724266 otter: Mark broken 
Build hangs an hits the hydra time limit:
http://hydra.nixos.org/build/34897110
 2016-04-27 03:24:04 +03:00
Edward Tjörnhammar f027aa2059
jonprl: corrected sha change 2016-04-26 22:23:37 +02:00
Frederik Rietdijk d5e6a4494a Python: use PyPI mirror (#15001) 
* mirrors: add pypi

* Python: Use pypi mirror for all PyPI packages
 2016-04-26 13:38:03 +01:00
Dmitry Kalinkin 088601cb51 root: fix chrooted build, workaround 491f7f017c (cmake: set LIBDIR and INCLUDEDIR for multiple outputs) 2016-04-25 17:38:19 -04:00
Nikolay Amiantov ab0a0c004e makeSearchPathOutputs: refactor to makeSearchPathOutput 2016-04-25 13:24:39 +03:00
Vladimír Čunát e9379f7416 Merge branch 'staging' 
This includes a fix to closure-size regression that moved
share/doc/*/ to share/doc/
 2016-04-22 16:49:09 +02:00
Vincent Laporte 71e0ce571b csdp: fix build on Darwin 
When the `INSTALL` file is present, `make` claims that the `install`
target is up-to-date.
 2016-04-22 11:53:43 +02:00
Nikolay Amiantov fb2c651647 qgroundcontrol: move to qmakeHook 
This reverts commit 11294eaf16.
 2016-04-20 18:55:48 +03:00
Nikolay Amiantov 0b88755d37 fritzing: move to qmakeHook 
This reverts commit 81fc546df3.
 2016-04-20 18:55:47 +03:00
Dmitry Kalinkin f2200369e5 root: fix NixOS build, build with lzma from nix, update homepage url 2016-04-20 01:41:46 -04:00
Robin Gloster d020caa5b2 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-04-18 13:49:22 +00:00
Dmitry Kalinkin baded4ea96 root: 5.34.15 -> 6.04.16 2016-04-17 22:59:31 -04:00
aszlig 11294eaf16
qgroundcontrol: Fix running of {pre,post}Configure 
Commit 0055c6a introduced a new preConfigure hook that sets the right
qmake path. Unfortunately the mkDerivation attributes of qgroundcontrol
override the whole configurePhase, so this hook isn't run at all.

Instead of using pushd/popd, I'm making it a bit more readable by just
spawning a subshell with the right working directory.

This fixes the build of qgroundcontrol and it now successfully compiles
on my machine.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2016-04-15 05:26:02 +02:00
aszlig 01900ac06e
qgroundcontrol: Drop unused preConfigure phase 
The configurePhase is overridden here and the preConfigure hook isn't
referenced otherwise in the package, so it's basically dead code.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2016-04-15 05:26:02 +02:00
aszlig 81fc546df3
fritzing: Fix running of {pre,post}Configure 
Commit 0055c6a introduced a new preConfigure hook that sets the right
qmake path. Unfortunately the mkDerivation attributes of fritzing
override the whole configurePhase, so this hook isn't run at all.

This fixes the build of fritzing and it now successfully compiles on my
machine.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2016-04-15 05:26:02 +02:00
Nikolay Amiantov 6f3e72eef6 Merge pull request #14658 from abbradar/search-path-fixes 
Search path fixes
 2016-04-14 03:08:41 +04:00
Arseniy Seroka 0420a532e9 Merge pull request #14649 from vbgl/coq_8.5.1 
Coq 8.5pl1
 2016-04-13 22:16:48 +03:00
Nikolay Amiantov 8b7ebaffeb replace makeSearchPath tree-wise to take care of possible multiple outputs 2016-04-13 22:09:41 +03:00
Vladimír Čunát 39ebb01d6e Merge branch 'staging', containing closure-size #7701 2016-04-13 09:25:28 +02:00
joachifm 860aa01782 Merge pull request #14618 from moretea/update_mcrl2 
Update mcrl2
 2016-04-12 23:42:45 +02:00
Maarten Hoogendoorn ec098aad41 mcrl2: 2009.01 -> 2014.09 2016-04-12 22:16:30 +02:00
Tuomas Tynkkynen d7de8bc911 Merge pull request #14636 from kragniz/samtools 
samtools: init at 1.3
 2016-04-12 22:24:34 +03:00
Louis Taylor 70c1b2b1c0 samtools: init at 1.3 2016-04-12 20:13:40 +01:00
Vincent Laporte a036fda544 coq: 8.5 -> 8.5pl1 2016-04-12 19:43:11 +02:00
Vladimír Čunát 30f14243c3 Merge branch 'master' into closure-size 
Comparison to master evaluations on Hydra:
  - 1255515 for nixos
  - 1255502 for nixpkgs
 2016-04-10 11:17:52 +02:00
Robin Gloster 3e68106afd Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-04-07 21:52:26 +00:00
Vladimír Čunát d1df28f8e5 Merge 'staging' into closure-size 
This is mainly to get the update of bootstrap tools.
Otherwise there were mysterious segfaults:
https://github.com/NixOS/nixpkgs/pull/7701#issuecomment-203389817
 2016-04-07 14:40:51 +02:00
Damien Cassou 8f7d11e39c Merge pull request #14468 from vbgl/why3-0.87 
why3: 0.86.3 -> 0.87.0
 2016-04-05 19:15:52 +02:00
Vincent Laporte 9dfa26d2ce why3: 0.86.3 -> 0.87.0 2016-04-05 08:09:00 +02:00
Robin Gloster bbbaccfa68 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-04-04 15:24:52 +00:00
Robin Gloster 025cedc606 singular.i686-linux: turn off stackprotector hardening 2016-04-03 12:25:05 +00:00
Robin Gloster 696d85a62d Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-04-03 11:01:57 +00:00
Gabriel Ebner e336cd003a picosat: enable proof output and install various utils 2016-04-02 18:45:47 +02:00
Gabriel Ebner 659c240be8 picosat: 960 -> 965 2016-04-02 18:43:32 +02:00
Chris Ostrouchov a32d5d3755 lammps: init at 2016-02-16 2016-04-01 18:37:52 -04:00
Vladimír Čunát ab15a62c68 Merge branch 'master' into closure-size 
Beware that stdenv doesn't build. It seems something more will be needed
than just resolution of merge conflicts.
 2016-04-01 10:06:01 +02:00
joachifm 0660ff5625 Merge pull request #14334 from ne0phyte/kicad-4.0.2 
kicad: 2013 stable -> 4.0.2
 2016-03-31 21:01:22 +00:00
Michael Raskin 011f69992a satallax: 1.4 -> 2.7 2016-03-31 16:23:08 +02:00
ne0phyte cce37d2164 kicad: 2013 stable -> 4.0.2 2016-03-31 15:29:39 +02:00
Franz Pletz 2e08d8234e Merge remote-tracking branch 'origin/master' 2016-03-31 10:06:30 +02:00
Michael Raskin 016d523d82 cvc4: fix the build by skipping line markers in cpp expansions during configure, helps the configure script to find Boost version 2016-03-31 01:52:33 +02:00
joachifm 532beaa2a3 Merge pull request #13913 from grwlf/torch 
torch: add expression for Torch7 the machine-learning framework
 2016-03-30 14:29:32 +00:00
Robin Gloster a4e65c3639 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-30 09:01:20 +00:00
Patrick Callahan 66b5055b95 gazebo: init at 6.5.1 and 7.0.0 2016-03-28 11:44:37 -07:00
Robin Gloster f60c9df0ba Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-28 15:16:29 +00:00
Patrick Callahan f30e40df69 qgroundcontrol: init at 2.9.4 2016-03-24 20:06:31 -07:00
Sergey Mironov de4f541b0e torch: add unsup package 2016-03-22 22:20:45 +03:00
Sergey Mironov 56b34be001 torch: read user PATH and LD_LIBRARY_PATH 2016-03-22 00:57:30 +03:00
Sergey Mironov 6bb8f45182 torch: image, enable JPEG and PNG support 2016-03-22 00:38:52 +03:00
Sergey Mironov 4a36a0c504 torch: unhardcode references to luajit 2016-03-21 12:53:34 +03:00
Joachim Fasting 649c2cd027 lp_solve: mark as broken 
See https://hydra.nixos.org/build/32393768/log/raw
 2016-03-19 12:46:22 +01:00
Sergey Mironov a56b9ab5be torch: use default luajit 2016-03-19 12:37:06 +03:00
Arseniy Seroka 1fb354d1ab Merge pull request #14008 from bzizou/scotch 
scotch: init at 6.0.4
 2016-03-18 22:50:20 +03:00
Bruno Bzeznik Bruno.Bzeznik@imag.fr 75af59f8eb scotch: init at 6.0.4 2016-03-18 10:54:41 +01:00
Sergey Mironov 1b05139414 torch: Read LUA_PATH and LUA_CPATH set by users 2016-03-16 23:53:46 +03:00
Sergey Mironov f499f61c85 torch: don't use default value for src 2016-03-16 23:53:40 +03:00
Robin Gloster 3f45f0948d Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-15 01:44:24 +00:00
Sergey Mironov 7f3b083610 torch: init at torch-git-2016-03-08 
Torch is a machine-learning framework written in Lua
 2016-03-14 16:05:55 +03:00
Nicolas B. Pierron 72c6f8a140 Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
Thomas Tuegel 3ef7671cea ncurses: combine $lib and $out outputs 
The $lib output refers to the terminfo database in $out, which is about
10x larger than the ncurses shared library. Splitting these outputs
saves a small amount of space for any derivations that use the terminfo
database but not the ncurses library, but we do not have evidence that
any such exist.
 2016-03-08 11:35:24 -06:00
Vladimír Čunát 09af15654f Merge master into closure-size 
The kde-5 stuff still didn't merge well.
I hand-fixed what I saw, but there may be more problems.
 2016-03-08 09:58:19 +01:00
Franz Pletz cb3d27df93 Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-03-05 18:55:30 +01:00
Franz Pletz aff1f4ab94 Use general hardening flag toggle lists 
The following parameters are now available:

  * hardeningDisable
    To disable specific hardening flags
  * hardeningEnable
    To enable specific hardening flags

Only the cc-wrapper supports this right now, but these may be reused by
other wrappers, builders or setup hooks.

cc-wrapper supports the following flags:

  * fortify
  * stackprotector
  * pie (disabled by default)
  * pic
  * strictoverflow
  * format
  * relro
  * bindnow
 2016-03-05 18:55:26 +01:00
Peter Simons 288d01fe2b stellarium: update to 0.14.2 
This patch also fixes https://github.com/NixOS/nixpkgs/issues/13582.
 2016-03-04 23:05:48 +01:00
Vincent Laporte 014a30da93 why3: 0.86.2 -> 0.86.3 
And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).
 2016-03-04 09:29:10 +01:00
Arseniy Seroka 0aac2960fc Merge pull request #13639 from bzizou/gromacs 
gromacs: 4.6.5 -> 4.6.7 + MPI support
 2016-03-03 23:29:32 +03:00
Robin Gloster fed49425c5 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-03 16:11:55 +00:00
Vincent Laporte c2a2c2ecd4 ltl2ba: fix build on darwin 2016-03-03 10:24:13 +01:00
Frederik Rietdijk 1d1b0a8ab8 Merge pull request #13510 from lancelotsix/relocate_motu_client 
pkgs.motuclient: move application away from pythonPackages
 2016-03-02 08:02:53 -05:00
Lluís Batlle i Rossell a95e65b1eb gtkwave: update to 3.3.70 2016-03-02 12:42:20 +01:00
Lancelot SIX 8f4a7d6c4c pkgs.motuclient: move application away from pythonPackages 2016-03-02 09:41:02 +01:00
Robin Gloster 9ba6bd4dea caneda: disable format hardening 2016-03-01 22:09:15 +00:00
Robin Gloster d47857c3d9 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-01 21:09:17 +00:00
Vincent Laporte 694a5ba291 eprover: fix build on Darwin 2016-02-29 15:35:40 +01:00
Robin Gloster 4f0608abdb perseus: disable stackprotector hardening 2016-02-29 12:51:28 +00:00
Robin Gloster 3b4765c9e5 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-02-28 16:32:57 +00:00
zimbatm 17348dc094 Remove all dots at end of descriptions 
Specially crafted for @JagaJaga

    find pkgs -name "*.nix" -exec \
      sed -e 's|\(description.*\)\.";|\1";|g' -i {} \;
 2016-02-27 17:30:29 +00:00
Robin Gloster 3477e662e6 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-02-27 00:08:08 +00:00
Franz Pletz ef0325e940 Merge pull request #13435 from tg-x/calc 
calc: init at 2.12.5.3
 2016-02-26 11:16:11 +01:00
Franz Pletz db2b0c8406 Merge pull request #13430 from nico202/yarp 
yarp (+ libace): init at 2.3.64
 2016-02-26 09:29:21 +01:00
tg(x) 1fb998f6c6 calc: init at 2.12.5.3 2016-02-24 22:47:55 +01:00
= a5ed58445f yarp (+ libace): init at 2.3.64 2016-02-24 22:08:29 +01:00
Bruno Bzeznik Bruno.Bzeznik@imag.fr 14f3b8e6cc gromacs: 4.6.5 -> 4.6.7 + MPI support 2016-02-24 10:34:22 +01:00
Ben Darwin 69c628e1ff minc-tools: init at 2.3.00 2016-02-23 14:03:56 -05:00
Frederik Rietdijk 40ca841c5c Merge pull request #13124 from FRidh/buildPythonApplication 
buildPythonApplication: use new function for Python applications
 2016-02-23 16:02:10 +01:00
Gabriel Ebner 87b0a41ac5 isabelle: 2015 -> 2016 2016-02-23 14:19:13 +01:00
Robin Gloster bb2639aafc Merge branch 'curl-7.15-fixup' of https://github.com/zimbatm/nixpkgs into hardened-stdenv 2016-02-22 01:14:22 +00:00
devresse 4046d3ce8d neuron: init at 7.4 2016-02-21 15:02:47 +00:00
Frederik Rietdijk 4d06bf70f4 buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00
Vladimír Čunát d039c87984 Merge branch 'master' into closure-size 2016-02-14 08:33:51 +01:00
Robin Gloster c572cc5159 qalculate-gtk: turn off format hardening 2016-02-12 16:16:52 +00:00
Robin Gloster 0ea02595f7 otter: turn off format hardening 2016-02-12 13:51:05 +00:00
Robin Gloster 0afc644cfd cbc: turn off format hardening 2016-02-09 01:35:33 +00:00
Robin Gloster 457f340785 prover9: turn off format hardening 2016-02-08 00:44:00 +00:00
Robin Gloster 5808bfb977 yacas: no format hardening 2016-02-07 22:51:21 +00:00
Robin Gloster d117254822 drgeo: turn off format hardening 2016-02-07 20:54:52 +00:00
Robin Gloster 321c57d69e ltl2ba: turn off format hardening 2016-02-07 16:34:05 +00:00
Vladimír Čunát ae74c356d9 Merge recent 'staging' into closure-size 
Let's get rid of those merge conflicts.
 2016-02-03 16:57:19 +01:00
Sven Keidel ca21ae0eda isabelle: 2014 -> 2015 
Picked from #8510. /cc maintainer @jwiegley.
 2016-02-03 13:51:35 +01:00
Robin Gloster 8c91610cb2 content: remove 
Doesn't build and have been abandoned for years
 2016-01-30 20:31:05 +00:00
Gabriel Ebner 73468cf4d4 tptp: replace use of builderDefsPackage 2016-01-29 10:33:35 +01:00
Gabriel Ebner 462958b3b7 tptp: 6.1.0 -> 6.3.0 2016-01-29 09:37:11 +01:00
John Wiegley 5009b4a8cf coq_8_5: 8.5rc1 -> 8.5 2016-01-25 12:33:31 -08:00
Tobias Geerinckx-Rice 32d40f0f98 Remove no longer (or never) referenced patches 
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
 2016-01-24 02:02:21 +01:00
Vladimír Čunát 0957359568 Merge branch 'staging' 2016-01-22 13:48:35 +01:00
Arseniy Seroka f63db297d6 Merge pull request #12519 from gebner/metis-20160102 
metis-prover: 2.3.20160101 -> 2.3.20160102
 2016-01-21 18:39:57 +03:00
Ricardo M. Correia 194168b722 z3: 4.4.0 -> 4.4.1 2016-01-21 13:27:12 +01:00