mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 00:22:13 +00:00
Code Issues Wiki Activity
146898 commits 241 branches 124 tags 7.5 GiB
Commit graph

613 commits

Author SHA1 Message Date
Jörg Thalheim 5dc7a70f65
Merge pull request #38589 from badi/tlatools 
Add TLAPS and TLA+ Toolbox
 2018-04-17 14:51:35 +01:00
Badi Abdul-Wahid c4ef846c92
tlaplusToolbox: init at 1.5.6 2018-04-16 22:18:47 -04:00
Badi Abdul-Wahid d14a476054
tlaps: init at 1.4.3 2018-04-16 21:18:42 -04:00
Vincent Laporte dc4a8435f0
symbiyosys: larger meta.platforms 2018-04-16 11:47:48 +00:00
Vincent Laporte caec7dbb9f
coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte 5f97adccdc
coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Gabriel Ebner 9df0c12cde elan: 0.3.0 -> 0.3.2 2018-04-13 09:28:28 +02:00
Gabriel Ebner 99ee7fd311 elan: add leanchecker proxy 2018-04-11 19:08:22 +02:00
Gabriel Ebner a378389ac2 elan: 0.1.0 -> 0.3.0 2018-04-11 18:05:15 +02:00
Gabriel Ebner a14ae55c04 elan: init at 0.1.0 2018-04-10 18:38:45 +02:00
Matthew Justin Bauer 72a54f3b6d
Merge pull request #38260 from symphorien/tamarin-vim 
tamarin-prover: install vim syntax highlighting files
 2018-04-08 21:47:12 -05:00
Austin Seipp 86c5420a2e nixpkgs: remove z3 4.5.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-04-07 23:02:59 -05:00
Jörg Thalheim d307ab5ca3
Merge pull request #38416 from bcdarwin/beluga 
beluga: init at 20180403
 2018-04-06 00:34:47 +01:00
Ben Darwin 9f70551937 beluga: init at 20180403 2018-04-04 17:24:28 -04:00
Ben Darwin d2c20d3a21 abella: 2.0.4 -> 2.0.5 2018-04-04 08:15:01 +02:00
Matthew Justin Bauer 2cd044b2fe
Merge pull request #37465 from timor/workcraft 
workcraft: init at 3.1.9
 2018-03-31 19:15:13 -05:00
Symphorien Gibol d432cb7fdb tamarin-prover: install vim syntax highlighting files 
note that this was tested on 13e74a838d
because tamarin-prover does not build on master...
 2018-03-31 23:55:03 +02:00
John Wiegley bee172501d
Merge pull request #37591 from vbgl/coq-88beta1 
coq: init at 8.8+beta1
 2018-03-23 22:09:06 -07:00
Daiderd Jordan 23d0c17130
picosat: fix darwin build 
/cc ZHF #36454
 2018-03-24 02:11:58 +01:00
Austin Seipp 011e70155b symbiyosys: 2018.03.07 -> 2018.03.21 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-21 16:05:10 -05:00
Vincent Laporte 6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
timor 42368e23f5 workcraft: init at 3.1.9 2018-03-21 14:27:12 +01:00
Gabriel Ebner fe7d82e6a6
Merge pull request #36933 from Ma27/fix-aspino 
aspino: fix build
 2018-03-17 13:06:23 +01:00
Maximilian Bosch 29bc0a00a1
aspino: fix build 
Aspino patched `libglucose` for their own uses, however they currently
depend on glucose v4.0.
(see e31c3b4e57/patches)

The patches don't apply properly on `glucose-4.1` anymore, furthermore
the new source directory caused the `bootstrap.sh` from `aspino` which
was supposed to apply the patches and recompile the setup to break.

Furthermore some minor changes to the derivation were introduced:

- upgraded from `2016-01-31` to `2017-03-09`
- the name contains an `-unstable-` infix as upstream has no releases
- instead of a `patchPhase` the `postPatch` hook will be used for
  `substituteInPlace` to keep advanced patching features from `nixpkgs`
  available.
- `patchShebangs` will be called to avoid impurities because of the
  implicit reliance on `/bin/sh`
- added myself as second maintainer to have more people available in
  case of any further breackage

See https://hydra.nixos.org/build/70688471/log
See ticket #36453
 2018-03-17 13:02:51 +01:00
Ryan Mulligan 9e0ce6562a ltl2ba: 1.1 -> 1.2b1 
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.2b1 in filename of file in /nix/store/jx5s7w6bmd6lfqvxl2lly3ggd4k9ncax-ltl2ba-1.2b1
 2018-03-14 21:06:53 -07:00
volth 7ec0471242 treewide: s/xlibs/xorg/g (#36889) 2018-03-13 10:16:03 +00:00
Vincent Laporte 903f4dd3d4
clingo: fix build on non-sandboxed darwin 2018-03-12 17:07:18 +00:00
Vincent Laporte eedc173276
clingo: fix URL 2018-03-12 16:51:54 +00:00
Michael Raskin fafeac185b tptp: 7.0.0 -> 7.1.0 2018-03-12 16:58:21 +01:00
Austin Seipp de1cb85b20 symbiyosys: 2018.02.04 -> 2018.03.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-08 21:23:20 -06:00
wchresta c6d3f0d3c6 tamarin-prover: 1.3.0 -> 1.3.1 2018-03-08 21:03:18 +01:00
Vladimír Čunát 565bd805e6
Merge branch 'master' 2018-03-05 14:53:27 +01:00
Austin Seipp 7270f2139a tlaplus: init at 1.5.6 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-02 21:20:54 -06:00
Ryan Mulligan 72a22296dd cryptoverif: 1.22 -> 1.28 
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
 2018-02-26 08:32:20 +01:00
Alexander V. Nikolaev 0acec7e984 treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
Vladimír Čunát b5aaaf87a7
Merge staging and PR #35021 
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
 2018-02-16 09:13:12 +01:00
John Wiegley 90252481bf coq: 8.7.1 -> 8.7.2 2018-02-15 23:12:43 -08:00
Vincent Laporte e75009ecdc
eprover: fix build in non-GCC environments 2018-02-14 22:46:12 +00:00
Frederik Rietdijk 672bb6b4ab Merge remote-tracking branch 'upstream/master' into HEAD 2018-02-14 21:30:08 +01:00
Jörg Thalheim 6ec8fe0408 z3: also needs setuptools 2018-02-14 10:01:25 +00:00
Will Dietz 2974ed9266 avy: fixes to work with clang and musl 2018-02-13 09:44:52 -06:00
Will Dietz cbdd20878e cvc4: build in parallel 2018-02-13 09:44:45 -06:00
Will Dietz 12e60c232a cvc4: patch up fpu_control usage 2018-02-13 09:44:45 -06:00
Will Dietz 4c767417ea picosat: fix ar and ranlib usage for cross 2018-02-13 09:44:32 -06:00
Will Dietz 36b2706916 picosat: fixup include for unistd.h 2018-02-13 09:44:32 -06:00
Will Dietz 46cbded0de boolector: patch usage of ar and ranlib for cross 
eep.
 2018-02-13 09:44:32 -06:00
Will Dietz 9138d055bf boolector: fix missing stdint.h include 2018-02-13 09:44:31 -06:00
Austin Seipp 0e371a60a5 symbiyosys: 2018.01.10 -> 2018.02.04 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-02-04 11:59:35 -06:00
Will Dietz a5a64cfcb1 lean: fixup nativeBuildInputs vs buildInputs 2018-01-22 17:19:02 -06:00
Yegor Timoshenko 506c89c30a maintainers: remove mornfall from packages 2018-01-17 05:17:33 +00:00
Vincent Laporte aee1cebda7
why3: 0.88.1 -> 0.88.3 2018-01-14 05:51:06 +00:00
Austin Seipp 4d4340805b symbiyosys: 2017.12.06 -> 2018.01.10 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-01-10 14:00:58 -06:00
Austin Seipp ebeb95d18b z3: 4.5.0-2017-11-06 -> 4.6.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-01-03 21:44:56 -06:00
Vladimír Čunát 1fcd92ce92
Merge branch 'master' into staging 
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
 2017-12-31 09:53:49 +01:00
John Ericson 4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant 
Make cross compilation elegant
 2017-12-30 22:58:02 -05:00
John Ericson 046f091e0d treewide: Don't use envHook anymore 
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
 2017-12-30 22:04:22 -05:00
Austin Seipp ff555bdaeb tamarin-prover: enable tests 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:39:38 -06:00
Austin Seipp bae2e7ceb3 nixpkgs: add sapic as a dependency to tamarin-prover 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:01:29 -06:00
Austin Seipp 3813ab2589 nixpkgs: init sapic 0.9 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:01:29 -06:00
Austin Seipp a31bdc0739 nixpkgs: add 'graphviz' to tamarin-prover dependencies 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:01:29 -06:00
Austin Seipp abcfa6f608 nixpkgs: add tamarin-prover 1.3.0 (dev) tool 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 18:23:15 -06: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
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 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
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
Orivej Desh 9f8ec7e4d3 stp: disable 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
Vincent Laporte a8da423332
acgtk: fix for yojson ≥ 1.4 2017-11-27 17:00:15 +00:00
Moritz Kiefer c0f08557b9 why3: 0.87.3 -> 0.88.1 2017-11-15 10:15:12 +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
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
John Wiegley 89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07: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 a936d9d6dc isabelle: 2016-1 -> 2017 2017-10-10 11:18:57 +02: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
John Ericson f037625f87 Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04: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