swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-29 16:40:18 +02:00
Code Issues Packages Projects Releases Wiki Activity
331987 commits 5 branches 0 tags 31 GiB
Commit graph

1157 commits

Author SHA1 Message Date
figsoda 6ad04bcb7d
Merge pull request #146243 from figsoda/treewide-rust-feature 
treewide: use buildFeatures and checkFeatures for rust packages
 2021-11-16 21:00:48 -05:00
Sandro 0e4ef9ab2b
Merge pull request #139294 from shnarazk/kissat-init 2021-11-16 18:47:19 +01:00
figsoda 2448ef4630 elan: use buildFeatures 2021-11-16 08:11:49 -05:00
Gabriel Ebner f4e3542f5d
Merge pull request #146162 from Kha/elan-wrap-lld 
elan: wrap embedded linker
 2021-11-15 18:07:14 +01:00
Sebastian Ullrich f8bbc587eb elan: wrap embedded linker 2021-11-15 17:10:04 +01:00
Robert Scott e4362cea6f monosat, python3Packages.monosat: fix for non-x86 2021-11-14 22:25:09 +00:00
Robert Scott 9149d366b9 boolector: add patch fixing build on aarch64-linux 2021-11-13 19:45:51 -06:00
Robert Scott 3b7766eac2 lingeling: pre1_03b4860d -> pre1_708beb26 2021-11-13 19:45:51 -06:00
Thomas Watson 1564d88c41 redprl: unstable-2017-03-28 -> unstable-2019-11-04 2021-11-12 19:24:17 -06:00
Sandro 3260545bc7
Merge pull request #145056 from angustrau/logisim-evolution-3.7.1 2021-11-11 14:01:44 +01:00
Sandro 9a9ef88b8c
Merge pull request #145178 from SuperSandro2000/applications 
Applications
 2021-11-09 21:33:41 +01:00
Sandro Jäckel b1c5442ceb
fixup! prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:26:04 +01:00
Sandro Jäckel 15d85dac80
redprl: switch to fetchFromGitHub, use postPatch 2021-11-09 20:10:31 +01:00
Sandro Jäckel 11c55d061e
prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:10:30 +01:00
Vincent Laporte b42501e1e7 proverif: 2.02pl1 → 2.03 
Do not build `proverif_interact` (that was not installed).
 2021-11-09 17:50:01 +01:00
Angus Trau 14580c7f4d logisim-evolution: 3.5.0 -> 3.7.1 2021-11-09 17:33:19 +11:00
Felix Buehler b52ab3b712 pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
Michael Raskin df3adb0398
Merge pull request #144502 from r-ryantm/auto-update/opensmt 
opensmt: 2.1.1 -> 2.2.0
 2021-11-03 18:23:06 +00:00
R. Ryantm 8fed17e682 opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
R. Ryantm 14ee52edff elan: 1.3.0 -> 1.3.1 
(cherry picked from commit 4cb7820ac9)
 2021-11-03 10:51:13 +01:00
Vincent Laporte f727a6aebe why3: remove spurious camlp5 dependency 2021-11-01 20:37:57 +01:00
Mauricio Collares 89d7336c20 lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
Mauricio Collares c707a468a4 lean: 3.33.0 -> 3.34.0 2021-11-01 19:17:17 +01:00
Gabriel Ebner f13aa788e1 elan: 1.2.0 -> 1.3.0 2021-11-01 13:37:56 +01:00
Smaug123 925ab444c9 elan: 1.1.0 -> 1.2.0 
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
 2021-10-31 21:41:38 +00:00
Sergei Trofimovich 597eb07e00 yices: drop symlink hack, avoid ldconfig on linux 
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263

Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
 2021-10-31 09:08:41 +01:00
Vincent Laporte 22e732d03c tamarin-prover: 1.6.0 → 1.6.1 2021-10-22 07:38:30 +02:00
Ben Darwin 3032353fcb abella: 2.0.6 -> 2.0.7 2021-10-19 13:25:44 -04:00
Théo Zimmermann e242eef8a4 coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
Artturi 6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links 2021-10-15 05:07:49 +03:00
Shadaj Laddad 9d02ea53de cadical: include C++ headers 2021-10-14 15:23:05 -07:00
Vincent Laporte cafe9f88fc
leo2: 1.6.2 → 1.7.0 
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)
 2021-10-14 09:45:49 +02:00
Alyssa Ross 851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
Sergei Trofimovich 0b2d3bbfcb yices: 2.6.3 -> 2.6.2 
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854

The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
 2021-10-13 17:58:26 +01:00
Théo Zimmermann 3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Vincent Laporte e31bc3d26a coq2html: 1.2 → 1.3 2021-10-13 10:15:05 +02:00
Sergei Trofimovich b18a746169
yices: 2.6.1 -> 2.6.3 (#141241) 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-10-12 23:09:47 +02:00
Vincent Laporte 17e2fbf2dc alt-ergo: 2.4.0 → 2.4.1 2021-10-12 14:41:54 +02:00
Gabriel Ebner 9044534a8d elan: 1.0.7 -> 1.1.0 2021-10-09 20:06:10 +02:00
Anders Kaseorg 4ce09e0e06 lean: 3.32.1 → 3.33.0 
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2021-10-07 18:54:06 -07:00
Narazaki, Shuji 4de6574fb8 kissat: init at 2.0.1 2021-10-04 08:45:36 +09:00
Austin Seipp d474571392 symbiyosys: 2020.08.22 -> 2021.09.13 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-09-29 13:14:27 -05:00
Bruce Collie 3e213b8699 z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
Naïm Favier b2391a51d2 coq: add desktop file for coqide 2021-09-23 14:39:50 +02:00
R. RyanTM 1c9cbe8a05 opensmt: 2.1.0 -> 2.1.1 2021-09-14 18:44:37 +00:00
kzvi befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
Artturi f2f1718aae
Merge pull request #135404 from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
Artturi 55fdaafe15
Merge pull request #135398 from r-ryantm/auto-update/verifast 
verifast: 19.12 -> 21.04
 2021-08-23 17:25:35 +03:00
R. RyanTM 6b086631c6 workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00:00
R. RyanTM a73fc504b7 verifast: 19.12 -> 21.04 2021-08-23 07:29:27 +00:00