alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
342474 commits 217 branches 121 tags 4.5 GiB
Commit graph

1176 commits

Author SHA1 Message Date
Ben Siraphob 39a0a70d29
treewide: fix homepages with permanent redirect to https 2021-12-29 22:06:47 +07:00
Felix Buehler cb448459d0 potassco: switch to fetchFromGitHub 2021-12-23 19:11:17 +01:00
Felix Buehler f4931dfaee ekrhyper: refactor 2021-12-21 12:44:01 +01:00
Gabriel Ebner a3bbbe08bd
Merge pull request #151328 from Kha/elan-lean-cc 
elan: set LEAN_CC to stdenv cc
 2021-12-19 17:39:28 +01:00
Sebastian Ullrich b20024dd3a elan: set LEAN_CC to stdenv cc 
This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`
 2021-12-19 17:27:10 +01:00
mucaho 1509f463a0 clingcon: 3.3.0 -> 5.0.0 2021-12-16 20:28:19 +01:00
Felix Buehler 4cc23f2b1e why3.withProvers: add dontUnpack 2021-12-12 20:33:14 +01:00
Jörg Thalheim 2a322411ff
Merge pull request #150217 from r-ryantm/auto-update/cryptoverif 
cryptoverif: 2.04 -> 2.05
 2021-12-11 12:53:42 +00:00
R. Ryantm 50554a43cf cryptoverif: 2.04 -> 2.05 2021-12-11 10:05:51 +00:00
Vincent Laporte a2dc97cd5c proverif: 2.03 → 2.04 2021-12-09 17:45:15 +01:00
Vincent Laporte a160defe64 coq_8_15: init at 8.15+rc1 2021-12-09 15:46:06 +01:00
R. Ryantm 817561795f logisim-evolution: 3.7.1 -> 3.7.2 2021-12-07 12:21:37 +00:00
R. Ryantm d5368e3bdb clingo: 5.5.0 -> 5.5.1 2021-12-06 09:34:25 +00:00
Austin Seipp 2a295f42c8 symbiyosys: 2021.09.13 -> 2021.11.30 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Austin Seipp a79ca33d94 yosys: 0.10+1 -> 0.11+52, with abc update 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Vincent Laporte 48406e3fca coq_8_14: 8.14.0 → 8.14.1 
And build Coq ≥ 8.14 with OCaml 4.12
 2021-12-01 13:46:15 +01:00
Sandro eff5cece35
Merge pull request #146648 from florentc/tlaplus 2021-11-25 12:38:31 +01:00
Florent C b5d3526bab tlaplus: 1.7.0 -> 1.7.1 
This updates tlaplus to the most recent stable version and directly
fetches the tlatools jar file from the official Github release page
instead of building from the sources. In the previous tlaplus nix
package, there was an issue with the tools when passing some command
line arguments such as `-workers 4` for TLC. A java string method was
not found and the program would not proceed correctly. This solves this
issue.
 2021-11-25 10:56:11 +01:00
Ryan Burns 2175b157ac treewide: refactor isi686 && isx86_64 -> isx86 2021-11-20 17:50:41 -08:00
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