Commit Graph

100161 Commits

Author SHA1 Message Date
SLNOS
344fbb5ddb firefoxPackages: add extraConfigureFlags to common builder, move --disable-loop flag to tor-browser expression 2017-09-04 20:19:50 +00:00
Profpatsch
11cd027b30 dhall: add a static top-level executable for dhall
cc @Gabriel439
2017-09-04 22:02:43 +02:00
catern
bf33bf525d mutt: add Kerberos support 2017-09-04 16:00:30 -04:00
catern
b5eb923bc7 offlineimap: add Kerberos support 2017-09-04 15:55:24 -04:00
Michael Raskin
f01f86c5ca lispPackages.query-fs: Kill build-with-lisp.sh reference 2017-09-04 21:39:07 +02:00
Michael Raskin
674c3c6bdd lispPackages: add clsql-postgresql* 2017-09-04 21:39:07 +02:00
Michael Raskin
e0771b0a04 quicklisp-to-nix: make it possible to run with Nix sandboxing enabled 2017-09-04 21:39:07 +02:00
Joachim F
dd74844fff Merge pull request #28990 from xtruder/pkgs/tor-browser/pass_tor_skip_launch
tor-browser: allow to pass TOR_CONTROL_PORT and TOR_SOCKS_PORT
2017-09-04 19:17:22 +00:00
Michael Alan Dorman
12e1a2b186 melpa-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
cb04086a96 melpa-stable-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
e010d2d2cb org-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
4216546642 elpa-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Daiderd Jordan
0ea92a3c24
libstdc++: add setup-hook 2017-09-04 21:07:05 +02:00
Tim Steinbach
f23b1a6f94 Merge pull request #28975 from NeQuissimus/alacritty_2017_09_02
alacritty: 2017-08-28 -> 2017-09-02
2017-09-04 14:11:48 -04:00
Matt McHenry
dbf97a5afe pfixtools: patch to work with gcc 6
Progress on: #28643
fixes #28984
2017-09-04 18:37:01 +01:00
Piotr Bogdan
fc391e7ecd mps: 1.115.0 -> 1.116.0
1.115.0 doesn't build with gcc6
2017-09-04 20:14:57 +03:00
Samuel Leathers
6e546a514c libmatheval: use guile 2.0 2017-09-04 20:05:57 +03:00
Michael Weiss
d70331ca61 glances: 2.10 -> 2.11 2017-09-04 18:56:24 +02:00
Jörg Thalheim
ceaafe8bc0 Merge pull request #28979 from ryantm/proggyfonts2
proggyfonts: fix output hash
2017-09-04 17:44:59 +01:00
Lukas Werling
a8aef188c8 x2goclient: 4.0.5.1 -> 4.1.0.0
Add openssh as dependency for sftp-server. When connecting, x2goclient
crashes if it can't find that executable.
2017-09-04 18:41:00 +02:00
Tuomas Tynkkynen
eecf9c5bb6 openlierox: Fix build 2017-09-04 19:40:03 +03:00
Tuomas Tynkkynen
5f8e6a4fe1 tpm-tools: 1.3.8 -> 1.3.9.1, fixes build 2017-09-04 19:15:27 +03:00
Tuomas Tynkkynen
e6a83ed89c apple-source-releases: Add some meta.platforms
Or Hydra tries to build them on Linux...
2017-09-04 19:04:05 +03:00
Tuomas Tynkkynen
19387e3123 mdadm4: Fix build by including change from 7d010ab5f4
And drop `-std=gnu89` while at it.
2017-09-04 18:55:57 +03:00
volth
7d231c5435 proggyfonts: fix output hash
See PR #28960 for details about the problem. There is some
non-determinism surrounding copies of the Speedy/Speedy11 font, so
deleting one makes it deterministic again without losing anything.
2017-09-04 08:43:17 -07:00
Tim Steinbach
967077537b
linux-copperhead: 4.12.10.a -> 4.13.a 2017-09-04 11:09:29 -04:00
Tim Steinbach
ce38725162
i3: 4.13 -> 4.14 2017-09-04 10:47:08 -04:00
Tim Steinbach
36ee9dcf70
py3status: 3.0 -> 3.6 2017-09-04 10:46:56 -04:00
Tim Steinbach
0e8875285a
alacritty: 2017-08-28 -> 2017-09-02 2017-09-04 10:19:02 -04:00
Jaka Hudoklin
0347659542 tor-browser: allow to pass TOR_CONTROL_PORT and TOR_SOCKS_PORT 2017-09-04 15:43:42 +02:00
Samuel Leathers
896f0daa1a libctemplate: remove 2.2 2017-09-04 09:14:57 -04:00
Samuel Leathers
bd540d9370 lenmus: fixing build with gcc6 2017-09-04 09:05:51 -04:00
Nicholas Clarke
eb99d3a670 Fix git-annex. 2017-09-04 12:35:58 +01:00
Nicholas Clarke
be90e9aa31 Fix broken rebase. 2017-09-04 12:35:58 +01:00
Nicholas Clarke
414a557904 Add specific overrides for a number of failing packages.
Finish overriding bin output for broken packages.

Put stack bash completions in $bin.
2017-09-04 12:35:58 +01:00
Nicholas Clarke
77cfb96fb1 Fix hastache build error.
`hastache` has no binary output but for `mkReadme`, so disable the
separate bin output and keep removing the `mkReadme`.
2017-09-04 12:35:57 +01:00
Nicholas Clarke
330d874ee3 Disable separate etc output for hscolour.
This is not needed, since `hscolour` has no output to `/etc`, and it
breaks certain old builds (see https://hydra.nixos.org/build/57925511)
because the older cabal used does not understand this flag.
2017-09-04 12:35:57 +01:00
Nicholas Clarke
a1d78fa5bc Don't build separate bin output for alex.
It has files in /usr/share which reference the bin output.
2017-09-04 12:35:57 +01:00
Mateusz Kowalczyk
cd24744506 Fix cabal2nix/stack2nix overrides
Use lib.makeBinPath.
2017-09-04 12:35:57 +01:00
Nicholas Clarke
8c642d5937 Provide hscolour, happy, alex bin to buildInputs.
Use stdenv.lib.getBin instead of `.bin`
2017-09-04 12:35:57 +01:00
Nicholas Clarke
676362494d Enable multiple outputs for Haskell packages. 2017-09-04 12:35:57 +01:00
goibhniu
da3640ec56 Merge pull request #28951 from zraexy/ardour
ardour: fix desktop file icon path
2017-09-04 13:08:52 +02:00
goibhniu
65e6a7e0ec Merge pull request #28956 from felixsinger/master
Update homepage link of Mumble
2017-09-04 10:31:42 +02:00
aszlig
8436e9bfcd
xournal: 0.4.8 -> 0.4.8.2016
Upstream bug fixes:

  * pen and touchscreen input handling bugfixes
  * fix a minor bug with save file paths in Windows (D. German)
  * use GDK macros (not WIN32) to disable X11-specific code (T.
    Schoonjans)
  * export to PDF and printing: fix resolution loss on some pdf
    backgrounds
  * disable xinput during modal dialog boxes
  * avoid data corruption when exporting to overwrite a PDF
  * fix path search order for toolbar bitmaps
  * text and image tools activate on button release instead of button
    press to avoid subsequent confusion between clicks in toolbar and
    drawing area
  * fix "pen disable touch" when touchscreen sends prox events (A.
    Kittenberger)
  * fix crash when pasting text or images via xclip
  * updated Italian translation (Marco Ciampa)

New upstream features:

  * add space and shift-space bindings to page down/up (D. German)
  * add A5 paper (D. German)
  * config option to export successive layers to separate PDF pages
  * config option to create new file when trying to open non-existent
    .xoj

The full change log along with bug numbers can be found at:

https://sourceforge.net/p/xournal/code/ci/Release-0_4_8_2016/tree/ChangeLog

I've dropped gdk-quartz-backend.patch, because I believe it has been
fixed upstream.

Here are the upstream changes relevant for the patch (shortened, because
SourceForge has really long URLs):

  http://bit.ly/2vXW8n0 -> src/Makefile.am
  http://bit.ly/2gDnjl7 -> src/xo-file.c
  http://bit.ly/2xJ5K7A -> src/xo-misc.c

Tested building and using the application.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @7c6f434c, @dguibert
Cc: @johbo who has introduced the patch in #21842
2017-09-04 07:58:25 +02:00
Michael Raskin
8f154c139a Merge pull request #28949 from pbogdan/allegro-fix-build
allegro: fix sandboxed build with nixUnstable
2017-09-04 07:39:37 +02:00
Vincent Laporte
ebce795c5c coqPackages: remove duplication in mkCoqPackages 2017-09-04 02:39:49 +00:00
Cray Elliott
1af75ba802 mwprocapture: fix build with kernels <4.13
also do some minor cleanup
2017-09-03 18:50:09 -07:00
Cray Elliott
deb50bcdc7 mwprocapture: 1.2.0.3269 -> 1.2.0.3589
remove linux 4.11 patch as it was included upstream, include
a new patch needed for linux 4.13
2017-09-03 18:21:48 -07:00
Peter Hoeg
c4265cd7ee zeal: 0.3.1 -> 0.4.0
Also switch to cmake and remove the ads that are now otherwise being loaded.
2017-09-04 08:19:44 +08:00
Felix Singer
f37f8c4b4b Update homepage link of Mumble 2017-09-04 01:48:44 +02:00
Tim Steinbach
c1e2a0b6f4
linux: Add 4.13 2017-09-03 19:41:44 -04:00
Vladimír Čunát
b41d33319c
Merge #28946: nixos doc: update glibc locales link 2017-09-03 23:03:16 +02:00
John Wiegley
14d915e395 Merge pull request #28902 from vbgl/quickchick
coqPackages.QuickChick: fix
2017-09-03 13:51:39 -07:00
Joachim F
97935829f6 Merge pull request #28936 from xtruder/pkgs/tor-browser/pass_tor_skip_launch
tor-browser: allow to pass TOR_SKIP_LAUNCH
2017-09-03 19:55:42 +00:00
Daiderd Jordan
86696e07c7 Merge pull request #28868 from matthewbauer/xcbuild-fix-sdk
xcbuild: fix sdk dir name issue
2017-09-03 21:34:46 +02:00
zraexy
1f67b17daf ardour: fix desktop file icon path 2017-09-03 10:37:50 -08:00
Piotr Bogdan
e22a77217d allegro: fix sandboxed build with nixUnstable
In Nix 1.12 sandboxed builds are performed in /build/ directory which conflicts
with the regex in docs/CMakeLists.txt, and generated documentation ends up in
wrong directory -> https://hydra.nixos.org/build/53914969/nixlog/1 -> CTRL-F
abi.txt
2017-09-03 19:32:35 +01:00
Orivej Desh
7803d69b78 nixos: update glibc locales link 2017-09-03 18:00:35 +00:00
Jörg Thalheim
c23654b2ed Merge pull request #28940 from AndersonTorres/upload-higan
Higan: 103 -> 104
2017-09-03 17:22:33 +01:00
Jörg Thalheim
52c99ad616 Merge pull request #28930 from disassembler/nestopia
nestopia: 1.46.2 -> 1.47
2017-09-03 17:13:25 +01:00
jamtrott
c8c0cd4d6c petsc: init at 3.7.6 (#28368)
* petsc: init at 3.7.6

* petsc: use configureFlagsArray

* petsc: Remove unneeded binaries
2017-09-03 17:11:16 +01:00
AndersonTorres
957dbe4642 Higan: 103 -> 104 2017-09-03 12:58:19 -03:00
Jörg Thalheim
4b10de8182 nestopia: fix icon theme 2017-09-03 16:38:19 +01:00
Jörg Thalheim
4391330033 Merge pull request #28893 from jtojnar/gpaste-service
gnome3.gpaste: Add GPaste service
2017-09-03 16:27:30 +01:00
Jörg Thalheim
c2881983fb gpaste: add adwaita-icon-theme theme 2017-09-03 16:26:51 +01:00
Peter Simons
49cda48b83 hackage: update snapshot of 'all-cabal-hashes' repo for callHackage 2017-09-03 17:18:41 +02:00
Jörg Thalheim
5f0ac4a2e4 Merge pull request #28933 from gnidorah/master
openjk: add desktop items
2017-09-03 15:55:13 +01:00
Jörg Thalheim
c5880c08ab Merge pull request #28923 from xtruder/pkgs/numix-cursor-theme/init
numix-cursor-theme: init at 2016011
2017-09-03 15:54:32 +01:00
Jörg Thalheim
526b4ebc45 Merge pull request #28937 from teto/neovim
neovim: fix missing dependancy luajit lpeg
2017-09-03 15:39:47 +01:00
Michael Alan Dorman
2bbab078fb haskell-taggy: include upstream patch to fix build 2017-09-03 16:29:56 +02:00
Peter Simons
813d907b1d haskell-filelock: disable test suite to fix build 2017-09-03 16:29:45 +02:00
Peter Simons
b9edab7a17 haskell-sbv: fix build 2017-09-03 16:29:37 +02:00
Peter Simons
2a71b5c313 hackage-packages.nix: automatic Haskell package set update
This update was generated by hackage2nix v2.5-4-ge5c3d07 from Hackage revision
4a71559e57.
2017-09-03 16:29:32 +02:00
Franz Pletz
2f48144d0e
gitlab: 9.4.5 -> 9.5.2 2017-09-03 15:50:52 +02:00
Jaka Hudoklin
ff1b18a455 tor-browser: allow to pass TOR_SKIP_LAUNCH 2017-09-03 15:38:38 +02:00
Matthieu Coudron
9889c1c661 neovim: fix missing dependancy luajit lpeg
luajit libraries are not the same as vanilla lua ones, hence when luajit
is enabled, the build fails.
Fixes https://github.com/NixOS/nixpkgs/issues/14442
2017-09-03 15:29:13 +02:00
gnidorah
98d4a7ec51 openjk: add desktop items 2017-09-03 16:18:18 +03:00
Samuel Leathers
7d54467ad0 nestopia: 1.46.2 -> 1.47 2017-09-03 08:46:14 -04:00
The Admin
2b134fd388 numix-cursor-theme: init at 2016011 2017-09-03 12:34:08 +02:00
Robert Helgesson
7889758c12
league-of-moveable-type: fix long description 2017-09-03 11:39:24 +02:00
Jaakko Luttinen
67b3f4bc4b pythonPackages.bayespy: init at 0.5.10 (#28919)
* pythonPackages.bayespy: init at 0.5.10

* python.pkgs.bayespy: fix more tests by using unicode locale
2017-09-03 10:37:50 +01:00
Michael Raskin
0529e4d908 Merge pull request #28915 from disassembler/klick
klick: fix build with gcc6
2017-09-03 10:19:37 +02:00
Michael Raskin
7411a9243d Merge pull request #28907 from disassembler/neuron
neuron: 7.4 -> 7.5
2017-09-03 10:19:16 +02:00
Michael Raskin
148999742e Merge pull request #28914 from disassembler/jigdo
jigdo: fix gcc build failures
2017-09-03 10:18:51 +02:00
Vladimír Čunát
828bc3812c
texlive: add ghostscript when containing pdfcrop
Potential disadvantage: ghostscript will become visible to user,
so there may e.g. be (new) collisions in nix-env due to this.
Fixes #28411.
2017-09-03 10:17:37 +02:00
Jörg Thalheim
89e1245c65 Merge pull request #28917 from disassembler/photivo
photivo: fixes build with gcc6
2017-09-03 09:03:25 +01:00
Vladimír Čunát
6ecf46334b
lightdm: purge explicit usage of gcc6
I forgot to include the initial fix into the parent commit :-/
2017-09-03 10:01:19 +02:00
Vladimír Čunát
53998f5036
treewide: purge explicit usage of gcc6
It's now the default. /cc #19456
This makes a real build simplification, because in our current
bootstrapping+aliases, `gcc6` attribute is not the default compiler
but a derivation *built by* the default compiler.

nix-exec didn't build before this commit already
2017-09-03 09:57:20 +02:00
Jörg Thalheim
ca12bd7a3f Merge pull request #28909 from matthiasbeyer/update-mutt-1-9-0
mutt: 1.8.3 -> 1.9.0
2017-09-03 08:52:25 +01:00
Joachim F
829a2e81d3 Merge pull request #28890 from disassembler/irods-icommands
irods-icommands: 4.2.0 -> 4.2.1
2017-09-03 07:45:56 +00:00
Joachim F
2fdbcb28a7 Merge pull request #28912 from disassembler/jfbview
jfbview: 0.5.3 -> 0.5.4
2017-09-03 07:45:15 +00:00
Vincent Laporte
4ee717d2d3 libvirt: fix build on darwin 2017-09-03 07:24:49 +00:00
Vincent Laporte
3c5436921e ocamlPackages.ptmap: 2.0.1 -> 2.0.2 2017-09-03 06:45:34 +00:00
Samuel Leathers
1398d5555c photivo: fixes build with gcc6 2017-09-02 23:01:27 -04:00
Samuel Leathers
07f977572c klick: fix build with gcc6 2017-09-02 22:33:32 -04:00
Samuel Leathers
d98eb8a114 jigdo: fix gcc build failures 2017-09-02 20:49:32 -04:00
Samuel Leathers
2fdb8f9b8f jfbview: 0.5.3 -> 0.5.4 2017-09-02 20:03:06 -04:00
Shea Levy
35f89413e2 fwupd: bump 2017-09-02 20:00:20 -04:00
Robin Gloster
0156db2da5
Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-02 23:29:04 +02:00
Robin Gloster
891a1662aa
bundler: 1.15.3 -> 1.14.6
bundler 1.15 breaks gitlab
2017-09-02 23:24:16 +02:00
Robin Gloster
7c07807949
gitlab: unbreak 2017-09-02 23:23:09 +02:00
Michael Raskin
7bba4a169e Merge pull request #28908 from tohl/master
sbcl updated, tested on nixos x86_64
2017-09-02 23:05:34 +02:00
Matthias Beyer
56f7cb034c mutt: 1.8.3 -> 1.9.0 2017-09-02 23:04:53 +02:00
Samuel Leathers
d9cd226a6d neuron: 7.4 -> 7.5 2017-09-02 16:58:14 -04:00
Michael Raskin
7da8192959 : 2.2.0 -> 2.3.0 2017-09-02 22:51:57 +02:00
Tomas Hlavaty
fd7aa385e1 sbcl: 1.3.20 -> 1.3.21 2017-09-02 22:46:43 +02:00
Joachim Fasting
004463152a
tinycc: 0.9.27pre-20170710 -> 0.9.27pre-20170821 2017-09-02 22:38:06 +02:00
Joachim F
40da875ff7 Merge pull request #28900 from fadenb/emby_3.2.30.0
emby: 3.2.28.0 -> 3.2.30.0
2017-09-02 20:16:57 +00:00
Michael Raskin
a13734d666 Merge pull request #28901 from womfoo/fix/libpt-and-opal
fix gcc6 builds for libpt and opal
2017-09-02 20:25:24 +02:00
Samuel Leathers
08fe8eacd9 freetalk: set guile version to 2.0 2017-09-02 20:16:38 +02:00
Kranium Gikos Mendoza
776d149c76 opal: fix gcc6 build 2017-09-03 04:05:57 +10:00
Kranium Gikos Mendoza
377b42a8ad ptlib: use fetchpatch 2017-09-03 04:05:57 +10:00
Kranium Gikos Mendoza
32d4a3dec8 ptlib: fix gcc6 build 2017-09-03 03:51:44 +10:00
Tristan Helmich
0ca6c58d26 emby: 3.2.28.0 -> 3.2.30.0 2017-09-02 19:36:18 +02:00
Tim Steinbach
aa59865333
sbt: 1.0.0 -> 1.0.1 2017-09-02 12:54:50 -04:00
Michael Raskin
b6730e7684 Merge pull request #28887 from womfoo/fix/ekiga-build
ekiga: fix build and cleanup patches
2017-09-02 18:47:46 +02:00
Michael Raskin
491f5be49b Trying a less disruptive patch for Cuneiform 2017-09-02 18:53:06 +02:00
Michael Raskin
522a03cde6 Merge pull request #28810 from bradleyjensen/update-quicklisp
Overhaul quicklisp-to-nix
2017-09-02 18:23:34 +02:00
Jan Tojnar
4069cb2b0f
gnome3.gpaste: refactor 2017-09-02 17:43:16 +02:00
Vincent Laporte
9b9d3743ce coqPackages.QuickChick: fix
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy
with the corresponding versions of Coq.

Use a two month old version with Coq-8.6 to avoid issue #45:
https://github.com/QuickChick/QuickChick/issues/45
2017-09-02 15:33:16 +00:00
Tim Steinbach
2c301b1b48
linux: 4.9.46 -> 4.9.47
(cherry picked from commit 27c8378c0c81aa17aef615615421aa5de3d8246b)
2017-09-02 11:17:47 -04:00
Michael Weiss
8693cc5425 android-studio-preview: 3.0.0.10 -> 3.0.0.12 2017-09-02 17:09:20 +02:00
Tim Steinbach
440bf7e06f Merge pull request #28780 from NeQuissimus/openjdk_8_144_01
openjdk: 8u152-04 -> 8u144-01
2017-09-02 11:07:41 -04:00
Samuel Leathers
5fb93524b3 irods-icommands: 4.2.0 -> 4.2.1 2017-09-02 10:52:02 -04:00
Bjørn Forsman
2cf1b94b82 pythonPackages.pyrtlsdr: unbreak build
pyrtlsdr needs pandoc at build time. Fixes the build since commit
f6eb190e70
("python.pkgs.pyrtlsdr: disable tests to fix build"). (That commit
bumped the package to a new version.)
2017-09-02 16:47:57 +02:00
obadz
dd09675347 python27Packages.smugline: fix to accomodate new behavior of makeWrapper
Ticks one box in #28643
2017-09-02 15:18:54 +01:00
Thomas Tuegel
71d377fcb0
kscreenlocker: 5.10.5 -> 5.10.5.1
Fix segfault with nVidia drivers; see
https://bugs.kde.org/show_bug.cgi?id=384005
2017-09-02 09:14:39 -05:00
obadz
5b943136fc pokerth: fix build error which was probably due to a changing C++ dependency (boost/g++?)
Ticks one box in #28643
2017-09-02 15:00:54 +01:00
Joachim Fasting
b3f9b0d0cc
libgcrypt: fix typo in meta.description 2017-09-02 15:56:51 +02:00
Joachim Fasting
697cbbc617
kernelPatches.grsecurity_testing: remove 2017-09-02 15:56:49 +02:00
Joachim Fasting
5125e209a9
pkgs/top-level: remove grsec attributes
These have been throwing exceptions since grsec was deprecated, so
potential users should have had due to time to migrate their configs.
2017-09-02 15:56:43 +02:00
Graham Christensen
a61e631f3c Merge pull request #28888 from disassembler/i-score
i-score: 1.0.0-a67 -> 1.0.0-b31
2017-09-02 09:45:03 -04:00
Samuel Leathers
d5c342c657 i-score: 1.0.0-a67 -> 1.0.0-b31 2017-09-02 09:19:59 -04:00
Andrew Cobb
9dc256099f kupfer: init at 319 (#28719)
* kupfer: init at 319

* kupfer: wrap with wrapGAppsHook

* kupfer: fixing up runtime dependencies

* kupfer: added cobbal as maintainer
2017-09-02 14:11:10 +01:00
Kranium Gikos Mendoza
f9c2cb80a6 ekiga: make debian patches use fetchpatch 2017-09-02 23:04:58 +10:00
Kranium Gikos Mendoza
0604ea66c6 ekiga: fix build 2017-09-02 21:39:40 +10:00
Frederik Rietdijk
c2e23a4948 Merge pull request #28871 from romildo/mate
mate desktop: some improvements
2017-09-02 13:21:40 +02:00
Cray Elliott
6a1be3d4f4 dolphinEmuMaster: 20170730 -> 20170902
many bugfixes and features implemented, included accurate NAND support
and ubershaders v2
2017-09-02 03:57:10 -07:00
Domen Kožar
991654fa4a haskell: add combinator to enable DWARF debugging
Tested using:

$ cat test-strip.nix
with (import ./. {});
with haskell.lib;

haskell.packages.ghc802.override {
  overrides = self: super: {
    microlens = enableDWARFDebugging super.microlens;
  };
}

$ nix-build -A microlens test-strip.nix
$ objdump -t <path-to-so-file>
2017-09-02 11:25:50 +01:00
Austin Seipp
54ae0aa1b0 z3_opt: remove and replace with z3
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
583ebc086c yices: now under GPLv3
This means Hydra can build it now!

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
cd7b2ec77a yosys: 2016.11.25 -> 2017.09.01
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
32297e1baf arachne-pnr: 2016.08.18 -> 2017.06.29, license switch
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
e3bc5171df icestorm: 2016.11.01 -> 2017.08.31
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
fc143bf1a3 iverilog: 2016.05.21 -> 2017.08.12
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Unai Zalakain
3ff173ffde jrnl: support journal encryption by default 2017-09-02 11:03:49 +02:00
Jörg Thalheim
1c0a5671a1 Merge pull request #28863 from mguentner/pybitmessage
pybitmessage dependency fixes & pytools 2016.2.1 -> 2017.4
2017-09-02 08:36:18 +01:00
Jörg Thalheim
34f1024a83 Merge pull request #28872 from disassembler/freewheeling
freewheeling: UNSTABLE -> 0.6.2
2017-09-02 08:28:14 +01:00
Jörg Thalheim
7b20952c04 Merge pull request #28726 from vyp/interception-tools
interception-tools: init at 0.1.1
2017-09-02 08:24:57 +01:00
Jörg Thalheim
a020ca5f35 Merge pull request #28880 from disassembler/glmark2
glmark2: 2016-05-11 -> 2017-09-01
2017-09-02 08:24:20 +01:00