BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
129725 commits 1 branch 0 tags 3.8 GiB
Commit graph

1562 commits

Author SHA1 Message Date
Frederik Rietdijk
2d0bead714 Merge remote-tracking branch 'upstream/master' into HEAD 2017-12-30 17:04:54 +01:00
Orivej Desh
77cc63950a wxmaxima: build with cmake 
Fixes reported version number: see
https://github.com/NixOS/nixpkgs/pull/31657#issuecomment-354414642

"make check" did not run any tests with autotools, and is not defined with
cmake. ("make test" is not defined too.)
 2017-12-29 21:00:03 +00:00
Vladimír Čunát
f29000b002
Merge branch 'master' into staging 
Hydra: ?compare=1421760
 2017-12-29 10:13:33 +01:00
Robin Gloster
ee1c85aee9 mariadb: lib -> connector-c 2017-12-29 02:18:35 +01:00
Nick Hu
8640e286b4 fdr: 4.2.0 -> 4.2.3 2017-12-29 02:01:31 +01:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide 2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593 Specify the coq version in a more consistent location 2017-12-21 01:24:35 -08:00
Justin Bedo
a49c91f655
snpeff: 4.3p -> 4.3t 2017-12-21 10:52:26 +11:00
Vincent Laporte
4c454a3208
coq: minor cleaning 2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b drat-trim: fix build on darwin 2017-12-17 13:19:34 +00:00
Orivej Desh
fe9bf3ed23
Merge pull request #32648 from berce/upstream-kicad 
kicad: init unstable at version 2017-12-11
 2017-12-17 05:03:29 +00:00
Orivej Desh
c780dba59c kicad: show version 2017-12-17 05:02:51 +00:00
Orivej Desh
f314157041 kicad-unstable: set version 2017-12-17 04:49:00 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim 
drat-trim: init at 2017-08-31
 2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829 drat-trim: init at 2017-08-31 
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work.  It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
 2017-12-17 00:27:52 +00:00
Bert Moens
5e0344dce9 kicad: add support for oce, ngspice and scripting 2017-12-17 00:20:45 +00:00
Bert Moens
af5272f599 kicad: add unstable version 2017-12-17 00:10:28 +00:00
Vincent Laporte
12c5fe3e2d ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7 coq_8_7: 8.7.0 -> 8.7.1 2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27 
ott: 0.25 -> 0.27
 2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean 
coq_HEAD, coqPackages_8_4: remove
 2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging 2017-12-09 21:00:07 +01:00
markuskowa
66da9b9f8f gpredict: init at 1.3 (#32436) 2017-12-09 09:45:29 +00:00
Vladimír Čunát
6f5d989478
treewide: checkMeta fixes for x86_64-linux 2017-12-07 07:50:47 -05:00
Orivej Desh
9f8ec7e4d3 stp: disable parallel building 2017-12-07 08:52:42 +00:00
Orivej Desh
812e0bced1 shogun: fix parallel building 2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746 nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove 2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242 glucose-syrup: Remove unused fetchurl argument 2017-12-01 21:13:21 -08:00
Jörg Thalheim
ae096444a2
simgrid: 3.15 -> 3.17 (#32114) 
* simgrid: 3.15 -> 3.17 + clean + add options

* Add myself as maintainer

* Fix typo
 2017-12-01 22:14:24 +00:00
Orivej Desh
1f99fd6965 libminc: fix build after hdf5 upgrade by using hdf5_1_8 2017-12-01 00:37:29 +00:00
Peter Simons
b0f82f0f2d R: update to 3.4.3 2017-11-30 18:45:48 +01:00
MERCIER Michael
42ec4556bd Fix typo 2017-11-28 13:13:01 +01:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4 2017-11-27 17:00:15 +00:00
MERCIER Michael
8fa00adf1a Add myself as maintainer 2017-11-27 17:58:49 +01:00
MERCIER Michael
0cace1fbd2 simgrid: 3.15 -> 3.17 + clean + add options 2017-11-27 17:50:25 +01:00
Orivej Desh
4f73b3162b treewide: preset windres missing to fix builds on Linux 
https://github.com/NixOS/nixpkgs/pull/30484#issuecomment-345899910
 2017-11-21 04:27:10 +00:00
Maximilian Bosch
38af8ec720
stellarium: 0.15.0 -> 0.16.1 
The 0.16-releases contain several useful new features:
https://launchpad.net/stellarium/0.16/0.16.1

I also added myself as maintainer to have more people available if the
package breaks a release.
 2017-11-19 12:01:15 +01:00
rybern
ef0486b1f9 vcftools: init at 0.1.15 (#31339) 2017-11-16 09:52:56 +02:00
Orivej Desh
089e0aaf72 pulseview: fix build 2017-11-16 00:40:16 +00:00
Joerg Thalheim
67092ffd43 spyder: 2.3.8 -> 3.2.4 2017-11-15 15:49:05 +00:00
Moritz Kiefer
c0f08557b9 why3: 0.87.3 -> 0.88.1 2017-11-15 10:15:12 +01:00
Dan Haraj
bdce7d3a04 sc2-headless: add pysc2 minigame map pack 2017-11-14 14:37:53 -05:00
Peter Simons
d70a021b95 maxima: 5.40.0 -> 5.41.0 2017-11-14 13:23:48 +01:00
Joerg Thalheim
21423521e6 wxmaxima: 15.04.0 -> 17.10.1 
also fix crash at start-up due missing icons

fixes #18479
 2017-11-14 11:28:00 +00:00
Renaud
2d8d35e342
Merge pull request #31564 from Mounium/aliza 
aliza: 1.29.2->1.36.3
 2017-11-12 22:07:01 +01:00
Katona László
c2d9871823 aliza: 1.29.2->1.36.3 2017-11-12 17:46:37 +01:00
Michael Raskin
eaaaebe00a golly: 2.8 -> 3.1 2017-11-11 15:31:37 +01:00
Michael Raskin
563b08c7c4 pari: 2.9.1 -> 2.9.3 2017-11-11 15:31:36 +01:00
Michael Raskin
20b6b3cf0e clingo: init at 5.2.2 
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
 2017-11-10 14:04:32 +01:00
Austin Seipp
063e4dca79 z3: update to latest git 
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-09 13:20:01 -06:00
Michael Raskin
27f7999280 glucose, glucose-syrup: 4.0 -> 4.1 2017-11-08 09:55:29 +01:00
Michael Raskin
6475fa9b25
Merge pull request #31298 from timokau/sage-fix 
sage: 6.8 -> 8.0
 2017-11-06 01:25:28 +00:00
Michael Raskin
85eac6ff73
Restrict platforms to what is known to work. 2017-11-06 01:25:04 +00:00
Timo Kaufmann
fe68ba81d2 sage: 6.8 -> 8.0 
This "un-breaks" sage while also updating it to 8.0.

It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.

To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
 2017-11-05 17:37:40 -06:00
Austin Seipp
5fc4f17862 yices: 2.5.3 -> 2.5.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
Austin Seipp
e27e0ebe48 cvc4: unstable-2017-05-18 -> 1.5 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
Austin Seipp
9cb5201d33 yosys/symbiyosys: 2017.10.16 -> 2017.11.05 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
Ben Gamari
7eecac6f46 ngspice: Build shared library 
This builds the libngspice shared library which is used by development
versions of kicad.
 2017-11-02 19:26:06 -04:00
Piotr Bogdan
8904ce343a fix source root locations. 
These have changed following commit
c3255fe8ec.

See also:

- https://github.com/NixOS/nixpkgs/pull/31004
- https://github.com/NixOS/nixpkgs/pull/31106
 2017-11-02 13:53:36 +00:00
Daiderd Jordan
b93df24078 pari: enable darwin build 2017-10-30 18:24:22 +01:00
Edward Tjörnhammar
9acbfbc7b7
shogun: init at 6.0.0 2017-10-29 10:20:55 +01:00
Edward Tjörnhammar
77d3869f27
colpack: init at 1.0.10 2017-10-29 10:20:54 +01:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07:00
Tuomas Tynkkynen
a4833730c4 cntk: Disable parallel building 
https://hydra.nixos.org/build/62781346
 2017-10-22 18:19:03 +03:00
Ryan Bernstein
941014ffff bowtie2: init at 2.3.3.1 2017-10-22 00:11:49 +02:00
Dmitry Kalinkin
ef2fc289a6
root: 6.10.04 -> 6.10.08 2017-10-20 00:59:21 -04:00
Nikolay Amiantov
94dc37d622 cntk: init at 2.2 2017-10-19 13:24:24 +03:00
Nikolay Amiantov
57f82de364 caffe: 1.0-rc5 -> 1.0 
Fix build with cudatoolkit9.
 2017-10-19 12:47:30 +03:00
Austin Seipp
26891c576c nixpkgs: gtkwave 3.3.70 -> 3.3.86 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-17 01:28:08 -05:00
John Ericson
6e1f864fd0 sc2-headless: License is unfree 
I wrongly assumed that was the default when reviewing the PR.
 2017-10-16 17:06:48 -04:00
Dan Haraj
188a413ebc sc2-headless: init at 3.17 
This packages up the Starcraft II headless Linux client provided by
Blizzard for machine learning research.
 2017-10-16 16:34:00 -04:00
Austin Seipp
cd52a3d53c aiger: fix stupid incorrect download link 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 13:01:51 -05:00
Austin Seipp
635fbcbd33 nixpkgs: add aiger 1.9.9 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
b72f543f96 picosat: install more stuff 
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da nixpkgs: add symbiyosys, for HDL verification flows 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Simon Lackerbauer
800f751740 abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
Vincent Laporte
1529938fc3
cubicle: 1.0.2 -> 1.1.1 2017-10-11 07:38:27 +00:00
Maxime Dénès
d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
Gabriel Ebner
79ae9be220 libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0 2017-10-10 13:28:38 +02:00
Gabriel Ebner
a936d9d6dc isabelle: 2016-1 -> 2017 2017-10-10 11:18:57 +02:00
Orivej Desh
66d4941afe Merge branch 'master' into staging 
* master: (48 commits)
  Mathematica: 11.0.1 -> 11.2.0
  kbfs: 20170922.f76290 -> 20171004.40555d
  packer: 1.0.3 -> 1.1.0
  libxdg-basedir: 1.0.2 -> 1.2.0
  fscrypt: 0.2.1 -> 0.2.2
  devtodo: init at 0.1.20
  keybase: 1.0.30 -> 1.0.33
  elixir: Fix locale problem on NixOS
  keybase-gui: 1.0.25 -> 1.0.33
  terraform: 0.10.2 -> 0.10.7  (#30055)
  emby: 3.2.32.0 -> 3.2.33.0
  sbcl: 1.3.21 -> 1.4.0
  ardour: 5.11 -> 5.12
  axoloti: fix evaluation
  axoloti: init at 1.0.12-1
  melpa-packages: Add new lean packages
  fastlane: init at 2.60.1
  nixos/traefik: guard example path
  go-ethereum: 1.7.0 -> 1.7.1
  xzgv: 0.9.1 -> 0.9.2
  ...
 2017-10-05 07:41:39 +00:00
Guanpeng Xu
2eeb00441d Mathematica: 11.0.1 -> 11.2.0 2017-10-05 07:54:16 +02:00
Will Dietz
5bf645cde5 caneda: git-2012-02-16 -> 0.3.1 
cc #15558

Components are now part of the base install
(previously it seems no components were included),
which I believe mostly removes the need for the srcComponents bit.

Debian is only other distro packaging this according
to repology, and they don't include additional libraries
which further suggests they're at least non-essential :).

As for the Caneda/Libraries repository, copying these
into the "libraries" directory with similar files
does not cause them to be auto-registered anyway,
as far as I can tell the application has a static
list of components (in the source) and additional
components need to be added using the GUI
making bundling them a bit useless and misleading.

caneda also now requires qt5 and doesn't appear to require
either libxml2 or libxslt.
 2017-10-03 15:45:50 -05:00
Orivej Desh
f137004179 Merge branch 'master' into staging 
* master: (81 commits)
  Add NixOS 17.09 AMIs
  gradle: 4.2 -> 4.2.1
  maintainers.nix: use my GitHub handle as maintainer name
  fcitx-engines.rime: init at 0.3.2
  brise: init at 2017-09-16
  librime: init at 1.2.9
  marisa: init at 0.2.4
  opencc: build shared library and programs
  josm: 12712 -> 12914
  exa: 0.7.0 -> 0.8.0
  krb5: add deprecation date for old configuration
  rustRegistry: 2017-09-10 -> 2017-10-03
  go-ethereum: Fix libusb segmentation faults on Darwin
  tor-browser-bundle-bin: 7.0.5 -> 7.0.6
  libsodium: 1.0.13 -> 1.0.15
  tor-browser-bundle: geoip support
  tor-browser-bundle: support transports obfs2,obfs3
  tor-browser-bundle: bump https-everywhere to 2017.9.12
  tint2: limit platforms to Linux since macOS is not supported and fails the tests
  eclipse-plugin-vrapper: init at 0.72.0
  ...
 2017-10-03 17:46:39 +00:00
Gabriel Ebner
dcd5580909 tptp: 6.4.0 -> 7.0.0 2017-10-02 11:46:33 +02:00
Orivej Desh
047c576353 Merge pull request #29963 from mimadrid/update/samtools-1.6.0 
samtools: 1.5.0 -> 1.6.0
 2017-10-02 01:07:11 +00:00
Orivej Desh
fda26c8476 Merge branch 'master' into staging 
* master: (271 commits)
  pysmbc: clarify license
  pysmbc: fix license
  bazel: 0.5.4 -> 0.6.0 (#29990)
  googler: init at 3.3
  go: declare support for aarch64
  firefox-beta-bin: 56.0b5 -> 57.0b4
  spotify: 1.0.64.401.g9d720389-21 -> 1.0.64.407.g9bd02c2d-26
  gogs: 0.11.19 -> 0.11.29
  grafana: 4.5.1 -> 4.5.2
  mopidy-iris: 3.4.1 -> 3.4.9
  nextcloud: 12.0.2 -> 12.0.3
  haskell-json-autotype: jailbreak to fix build within LTS 9.x
  kore: fix up
  kore: init at 2.0.0
  glusterfs service: fix issues with useRpcbind
  tig: 2.2.2 -> 2.3.0
  haskell-hspec-core: enable test suite again
  hackage-packages.nix: automatic Haskell package set update
  librsvg: fix thumbnailer path
  awscli: 1.11.108 -> 1.11.162
  ...
 2017-10-02 00:22:12 +00:00
Orivej Desh
eaf9e31f86 Merge pull request #29859 from pvgoran/fix-gmsh 
gmsh: 2.12.0 -> 3.0.5
 2017-10-01 08:52:42 +00:00
Pavel Goran
e57f8b67f3 gmsh: 2.12.0 -> 3.0.5 2017-10-01 08:51:56 +00:00
Orivej Desh
d73bd7f50a bcftools: fix up 2017-10-01 07:45:19 +00:00
Orivej Desh
09a5396982 samtools: fix up 2017-10-01 07:36:30 +00:00
Orivej Desh
9592bf8c24 Merge pull request #29947 from symphorien/giac 
giac, xcas: init at 1.4.9
 2017-09-30 22:50:53 +00:00
Orivej Desh
0c14753a4a giac: refactor 2017-09-30 22:48:03 +00:00
Robin Gloster
40ed226507 treewide: mark a bunch of failing builds as broken 
(cherry picked from commit 23fdbaa37599f490435056b9865023870656571b)
[dezgeg: Un-mark shotcut, tokei & uchiwa that do build on master]
 2017-10-01 00:26:52 +03:00
mimadrid
bebccf176e
bcftools: 1.5.0 -> 1.6.0 2017-09-30 22:22:25 +02:00
mimadrid
ee2c76693e
samtools: 1.5.0 -> 1.6.0 2017-09-30 22:20:02 +02:00
Franz Pletz
d7d774deea gplates: mark as broken 
(cherry picked from commit 5b09ca07b8cf3ea87838a5b4af555e2830948ff1)
 2017-09-30 22:55:29 +03:00
Franz Pletz
1b56f7cbb4 openmodelica: mark as broken, unmaintained 
(cherry picked from commit d9298e3a00edc796b040373a64a6284f60813278)
 2017-09-30 22:55:27 +03:00
Symphorien Gibol
10a612120f xcas, giac: add myself as maintainer 2017-09-30 21:40:50 +02:00
Symphorien Gibol
79df9105ba giac, xcas: init at 1.4.9 2017-09-30 12:29:31 +02:00
Peter Simons
4239d3bcba R: update to version 3.4.2 2017-09-29 15:21:09 +02:00
Franz Pletz
0dc882e3d4
kicad: don't try to build on hydra 2017-09-29 01:52:15 +02:00
John Ericson
f037625f87 Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
Vincent Laporte
b831b243ff clp: init at 1.16.11 2017-09-28 13:33:36 +00:00
Robin Gloster
7cbf3a27de freebayes: clean up build 2017-09-28 00:54:01 +02:00
Samuel Leathers
a3e2ecd7f7 freebayes: 1.1.0 -> 2017-08-23 2017-09-28 00:54:01 +02:00
Tuomas Tynkkynen
9824ca6975 caffe: Make 'bin' the first output 
So ${caffe}/bin/foo always works in scripts.
 2017-09-27 00:39:55 +03:00
Nikolay Amiantov
67bbe467a4 mxnet: disable GPU autodetection 2017-09-25 22:46:44 +03:00
Michael Raskin
f7d7c7bedf singular: use gcc5 
Progress on: #28643
Fixes: #29682
 2017-09-23 10:16:47 +02:00
mimadrid
676db57c37
calc: 2.12.6.1 -> 2.12.6.3 2017-09-23 00:13:42 +02:00
Tuomas Tynkkynen
4acb425c39 darwin: Disable yet another bunch of packages never having built successfully 
cjdns: https://hydra.nixos.org/build/61134279
jonprl: https://hydra.nixos.org/build/61123711
mate.libmatemixer: https://hydra.nixos.org/build/61126968
dirac: https://hydra.nixos.org/build/61132432
idnkit: https://hydra.nixos.org/build/61123544
trousers: https://hydra.nixos.org/build/61109766
packetdrill: https://hydra.nixos.org/build/61116190
osm2pgsql: https://hydra.nixos.org/build/61118017
nawk: https://hydra.nixos.org/build/61139000
 2017-09-22 21:16:39 +03:00
Tuomas Tynkkynen
4b4bfbf3e5 darwin: Disable another bunch of packages never having built successfully 
tecoc: https://hydra.nixos.org/build/61141995
shallot: https://hydra.nixos.org/build/61145497
plink-ng: https://hydra.nixos.org/build/61130149
tshark: https://hydra.nixos.org/build/61479600
 2017-09-22 19:49:57 +03:00
Vincent Laporte
3b7c68615e abella: fix build with OCaml ≥ 4.03 2017-09-22 03:32:06 +00:00
Joachim F
44d2eaab80 Merge pull request #29538 from bcdarwin/update-and-fix-ANTS 
ants: bump version and fix sandboxed build
 2017-09-21 22:08:40 +00:00
John Ericson
ed14223f8c treewide: Manual fix more pkg-config build-inputs 2017-09-21 15:49:54 -04:00
John Ericson
531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 
Only acts on one-line dependency lists.
 2017-09-21 15:49:53 -04:00
Ben Darwin
c7bbe471b0 ants: bump version and fix sandboxed build 2017-09-20 18:42:34 -04:00
Nikolay Amiantov
c71d8a1aeb mxnet: init at 0.11.0 2017-09-16 04:40:55 +03:00
Franz Pletz
b19fa00e3e
Revert "mcrl2: force use of gcc5 to prevent compilation errors" 
This reverts commit 5e5e57b57b.

Already fixed with edd94f5fcd.
 2017-09-15 21:51:35 +02:00
Gabriel Ebner
aad00e35db lean: 3.2.0 -> 3.3.0 2017-09-15 08:48:02 +02:00
Vincent Laporte
cc5491d02c proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
timor
124b3c8ead qfsm: fix build with gcc 6 (#29245) 2017-09-11 20:26:24 +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
Maarten Hoogendoorn
5e5e57b57b mcrl2: force use of gcc5 to prevent compilation errors 2017-09-10 15:09:46 +02: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
Markus Mueller
edd94f5fcd mcrl2: 201409 -> 201707 2017-09-08 18:26:25 +02:00
Nikolay Amiantov
c4bed3043d caffe: add Python support 
Move to CMake in the process.
 2017-09-07 17:04:29 +03:00
Nikolay Amiantov
88641353d6 caffe: 2015-07-02 -> 1.0-rc5 2017-09-07 17:04:29 +03:00
Théo Zimmermann
9efd7a9b6e coq_8_7: init at 8.7+beta1 2017-09-06 21:16:41 +02:00
Théo Zimmermann
a26bbe547e coq: fetch source from GitHub 2017-09-06 21:16:41 +02:00
Michael Raskin
37392454f3 Merge pull request #28948 from disassembler/qucs 
Qucs: version update and adms dependency
 2017-09-06 20:24:55 +02:00
Robin Gloster
a0967948d9
bwa: 0.7.15 -> 0.7.16a 2017-09-05 14:42:45 +02:00
Gabriel Ebner
b2eff3c60d eprover: 1.9.1 -> 2.0 2017-09-05 13:59:07 +02:00
Samuel Leathers
00753e078d qucs: 0.0.18 -> 0.0.19 2017-09-03 14:21:52 -04:00
Samuel Leathers
df1d5a4827 adms: init at 2.3.6 2017-09-03 14:21:16 -04:00
Samuel Leathers
d9cd226a6d neuron: 7.4 -> 7.5 2017-09-02 16:58:14 -04: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
fc143bf1a3 iverilog: 2016.05.21 -> 2017.08.12 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-09-02 04:19:11 -05:00
Samuel Leathers
04b8a85739 caneda: fix build with gcc6 2017-08-31 22:59:37 -04:00
Jörg Thalheim
4acdb408c0 Merge pull request #28801 from veprbl/sherpa_2_2_4 
sherpa: 2.2.1 -> 2.2.4
 2017-08-31 21:07:54 +01:00
Dmitry Kalinkin
59b525e559
sherpa: 2.2.1 -> 2.2.4 2017-08-31 14:32:05 -04:00
Jörg Thalheim
ed997b153c Merge pull request #28756 from disassembler/pulseview-sigrok 
pulseview and sigrok updates
 2017-08-31 09:28:44 +01:00
Dmitry Kalinkin
7c7ca7f017
root: add noSplash option 2017-08-30 19:56:53 -04:00
Samuel Leathers
b39462d0c3 pulseview: 0.3.0 -> 0.4.0 2017-08-30 13:52:17 -04:00