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
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
cd52a3d53c
aiger: fix stupid incorrect download link
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 13:01:51 -05:00
635fbcbd33
nixpkgs: add aiger 1.9.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
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
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
740fb165da
nixpkgs: add symbiyosys, for HDL verification flows
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
800f751740
abella: 2.0.2 -> 2.0.4
2017-10-16 02:39:16 +02:00
1529938fc3
cubicle: 1.0.2 -> 1.1.1
2017-10-11 07:38:27 +00:00
d1e1ee7b09
coq: 8.7+beta1 -> 8.7+beta2
2017-10-11 03:02:01 +02:00
a936d9d6dc
isabelle: 2016-1 -> 2017
2017-10-10 11:18:57 +02:00
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
dcd5580909
tptp: 6.4.0 -> 7.0.0
2017-10-02 11:46:33 +02:00
f037625f87
Merge remote-tracking branch 'upstream/staging' into deps-reorg
2017-09-28 12:32:57 -04:00
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
3b7c68615e
abella: fix build with OCaml ≥ 4.03
2017-09-22 03:32:06 +00:00
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
b19fa00e3e
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
...
This reverts commit 5e5e57b57bedd94f5fcd
2017-09-15 21:51:35 +02:00
aad00e35db
lean: 3.2.0 -> 3.3.0
2017-09-15 08:48:02 +02:00
cc5491d02c
proverif: 1.95 -> 1.97pl1
2017-09-13 20:01:55 +02:00
5e5e57b57b
mcrl2: force use of gcc5 to prevent compilation errors
2017-09-10 15:09:46 +02:00
edd94f5fcd
mcrl2: 201409 -> 201707
2017-09-08 18:26:25 +02:00
9efd7a9b6e
coq_8_7: init at 8.7+beta1
2017-09-06 21:16:41 +02:00
a26bbe547e
coq: fetch source from GitHub
2017-09-06 21:16:41 +02:00
b2eff3c60d
eprover: 1.9.1 -> 2.0
2017-09-05 13:59:07 +02:00
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
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
c8f2e3f95f
cvc3: Add gcc6 patch from Gentoo.
...
https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
2017-08-29 13:48:09 -05:00
f0a1ab78b4
meson/ninja: add setup hooks ( #28444 )
...
* Add setupHook for meson/ninja build
* libhttpseverywhere: Use meson/ninja setupHooks
* jamomacore: Remove superfluous ninja buildInput
* Remove obsolete ninja buildPhases
These are all handled by ninja's setup hook.
* lean2, xcbuild: fix build with ninja setup hook
Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.
* qtwebengine: fix build with ninja setup hook
2017-08-27 19:42:21 +02:00
db66c996bf
yices: 2.5.2 -> 2.5.3
...
Move to github URL, homepage seems to be down currently.
2017-08-27 10:10:48 -05:00
3ab85383a0
libpoly: 0.1.3 -> 0.1.4
2017-08-27 10:10:47 -05:00
7da15a071d
open-wbo: init at 2.0
2017-08-20 10:19:46 +02:00
acf01cbc6c
lean2: 2016-11-29 -> 2017-07-22
...
This will also fix the build issues with GCC 6.
2017-08-19 15:24:35 +02:00
b3d8c08a55
acgtk: fix homepage url
2017-08-17 15:04:37 -07:00
99c868c010
use https://github.com for all homepages
...
GitHub does a redirect to https:// when you use http://
repology complains with:
“Homepage link "https://github.com/ …" is dead (HTTP error 404) for more than a month.”
This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
6e386925ac
Merge pull request #28229 from jpierre03/pr-alt-ergo
...
alt-ergo: use https instead of http to fetch archive
2017-08-13 22:01:59 +02:00
13bbaee21d
Merge pull request #27881 from mimadrid/fix/http-https
...
Update homepage attributes: http -> https
2017-08-13 21:53:20 +02:00
184d2e7977
alt-ergo: use https instead of http to fetch archive
2017-08-13 13:26:30 +02:00
fbb6b90ed0
yices: 2.5.1 -> 2.5.2
2017-08-12 13:02:33 -05:00
057ffcf0dd
coq: adding myself to the maintainers
2017-08-04 19:52:55 +02:00
b25d65e051
coq: use camlp5_strict
...
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
2017-08-04 19:52:54 +02:00
c0dca2fb00
coq: 8.6 -> 8.6.1
2017-08-04 19:52:51 +02:00
09e0cc7cc7
Update homepage attributes: http -> https
...
Homepage link "http://.../ " is a permanent redirect to "https://.../ " and should be updated
https://repology.org/repository/nix_stable/problems
2017-08-03 11:56:15 +02:00
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
ea8798acc6
coq2html: New expression
2017-08-01 09:30:20 -07:00
45248be2aa
cryptominisat: use new xxd package instead of vim
2017-07-24 09:37:58 +08:00
e69dfc252a
Revert "coq2html: New expression"
...
This reverts commit 31437ccf7a
2017-07-20 19:36:50 +02:00
31437ccf7a
coq2html: New expression
2017-07-20 11:51:25 -04:00
d7103eadc8
boolector: 1.{5,6} -> 2.4.1
2017-07-18 23:50:31 +02:00
7ba1c7a9fb
iprover: 0.8.1 -> 2.5
2017-07-17 22:45:27 +01:00
371ad29661
abc-verifier: fix typo in meta
2017-07-15 09:27:41 +02:00
dcbe96d260
Merge pull request #27197 from kquick/master
...
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
2017-07-08 22:37:12 +02:00
eb2be6d97e
acgtk: 1.1 -> 1.3.1
2017-07-08 08:52:02 +02:00
43b2b55743
hol_light: 2016-07-23 -> 2017-07-06
2017-07-08 06:14:43 +00:00
6cbd9ce8f9
Fix license reference for added libpoly library.
2017-07-07 12:54:32 -07:00
6387a7ec8b
Update yices to add libpoly/mcsat functionality and add soname target.
2017-07-06 21:31:38 -07:00
8ff05c85ee
Add poly library for manipulating polynomials.
2017-07-06 21:30:30 -07:00
89e02c7516
lean: 3.1.0 -> 3.2.0
2017-06-18 20:04:30 +02:00
fdbcee03fe
minisat: fix maintainer
2017-05-22 23:55:05 -04:00
2549be898d
stp: 2014.01.07 -> 2.2.0
2017-05-22 22:25:45 +01:00
893c7b6112
cryptominisat: init at 5.0.1
2017-05-22 22:25:14 +01:00
7786922240
minisatUnstable: init at 2013-09-25
2017-05-22 22:24:58 +01:00
b1b61d0988
coq: nix-buffer: Inherit variables to PG shell
2017-05-22 00:45:54 -04:00
e46ca1b95f
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 ( #25808 )
...
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514
* cvc4: use stable url
upstream delete their tarballs
2017-05-20 14:00:39 +01:00
b21540c4a6
coq: Add emacs buffer setup
2017-05-20 08:34:33 -04:00
41475012eb
Merge pull request #25164 from marsam/master
...
Homogenize abc-verifier, dwm, osmctools homepages
2017-05-01 15:47:15 +02:00
49c419cf3e
Merge pull request #25117 from lucas8/cubicle
...
cubicle: init at 1.0.2
2017-05-01 14:26:52 +02:00
ce9c7dd0d6
Merge pull request #21822 from rht/master
...
coq_HEAD: Update to the latest commit
2017-04-30 12:49:20 +02:00
eedc6799b6
cubicle: init at 1.0.2
2017-04-25 22:02:42 +02:00
0e7b608ab0
abc-verifier: Add http url scheme to abc homepage
2017-04-23 18:45:36 -05:00
c54588d250
redprl: 2016-09-22 -> 2017-03-28
2017-03-28 21:02:30 +01:00
bbd1c3d58a
coq_HEAD: Update once more
2017-03-18 01:51:38 +03:00
7264efb5cb
Fold in specific ocaml version choice into let
2017-03-18 01:51:37 +03:00
975d040f07
coq_HEAD: Update to the latest commit
2017-03-18 01:50:26 +03:00
f70a896094
hol: mark as broken
2017-03-14 15:36:06 +01:00
242f6caac6
logisim: use better jar wrapper, closes #23068
2017-02-26 10:19:32 +01:00
cc647804f1
lean: 3.0.0 -> 3.1.0
2017-02-26 08:50:15 +01:00
ac10c19746
veriT: 201506 -> 2016
2017-02-01 19:43:02 +01:00
d40b680101
coq-8.4: fix build of ssreflect and mathcomp
2017-01-25 13:14:31 +00:00
798a87159b
Coq: propagates the findlib package
...
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00
9b949be617
coq: minor refactoring
2017-01-25 10:29:13 +00:00
a30e8db9f0
coq: merge files 8.5.nix and 8.6.nix into default.nix
2017-01-25 10:29:13 +00:00
86b74fb76b
alt-ergo: 0.99.1 -> 1.30
2017-01-21 13:44:41 +00:00
8c928cd55a
why3: 0.87.1 -> 0.87.3
2017-01-21 13:31:10 +00:00
6c9f4a61be
lean: 2017-01-14 -> 3.0.0
2017-01-20 10:59:54 +01:00
5ad75554b6
lean: 2017-01-06 -> 2017-01-14
2017-01-14 09:37:48 +01:00
89dfe67f81
Merge pull request #21819 from AtnNn/isabelle
...
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
3d301e384e
isabelle: 2016 -> 2016-1
2017-01-11 17:33:04 -05:00
74a97421ce
lean: 2016-12-30 -> 2017-01-06
2017-01-06 11:57:40 +01:00
af2cfc076f
haskellPackages.z3: fix #16357
2017-01-03 23:10:24 +01:00
68b2d43c88
lean: 2016-12-08 -> 2016-12-30
2016-12-31 13:51:10 +01:00
4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
...
Addresses #14829
2016-12-22 10:35:56 -08:00
838a3b4294
coq_8_6: 8.6rc1 -> 8.6
2016-12-14 13:46:07 -08:00
62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13
2016-12-13 08:09:23 -08:00
360234dab6
coq_8_6: new package, based on Coq 8.6rc1
2016-12-13 07:27:15 -08:00
c5b96ca801
minisat: Fix build on Darwin
2016-12-09 19:57:07 +01:00
a2210a9efd
lean: init at 2016-12-08
2016-12-08 10:30:28 -05:00
ce2a9a8f9b
lean2: 2016-07-05 -> 2016-11-29
...
Renamed from lean since upstream renamed it as well. The lean attribute
in nixpkgs will now refer to the new lean 3 version.
2016-12-08 10:30:28 -05:00
431c564993
hol_light: fix build with Camlp5-6.17
2016-11-29 18:34:21 +00:00
2ded9f3f7b
coq: Improve emacs buffer handling
2016-11-13 14:01:01 -05:00
Austin Seipp
John Wiegley
Simon Lackerbauer
Vincent Laporte
Maxime Dénès
Gabriel Ebner
Orivej Desh
John Ericson
Tuomas Tynkkynen
Franz Pletz
Maarten Hoogendoorn
Markus Mueller
Théo Zimmermann
Will Dietz
Lukas Werling
Matthew Bauer
Frederik Rietdijk
Jean-Pierre PRUNARET
mimadrid
Silvan Mosberger
Peter Hoeg
Symphorien Gibol
Vladimír Čunát
Michael Raskin
Kevin Quick
Samuel Leathers
Jörg Thalheim
Shea Levy
marcnnn
lucas8
Mario Rodas
James ‘Twey’ Kay
rht
Robin Gloster
Christopher League
Pascal Wittmann
Etienne Laurin
Domen Kožar
Eelco Dolstra