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

1207 commits

Author SHA1 Message Date
Mauricio Collares 0ebdfab88b lean: 3.38.0 -> 3.39.0 2022-02-03 09:21:20 -03:00
Сухарик 3f90b3a1e1 anders: init at 1.1.1 2022-02-02 12:31:53 +03:00
Sandro a724f8dc29
Merge pull request #155897 from FliegendeWurst/key-2.10 2022-01-30 01:21:43 +01:00
FliegendeWurst 48a133a066 key: add a desktop item 2022-01-29 10:14:54 +01:00
Sandro 27cccd4e49
Merge pull request #151363 from Stunkymonkey/doc-updateWalker 2022-01-27 14:06:36 +01:00
Felix Buehler 09e3b7a570 treewide: remove all updateWalker/downloadURLRegexp 2022-01-26 21:46:08 +01:00
Felix Buehler ed7bf9452c treewide: remove *.upstream files from updateWalker 2022-01-26 21:46:07 +01:00
Gabriel Ebner b27b115b41
Merge pull request #154272 from jvanbruegge/isabelle-build-hol 
isabelle: Prebuild HOL session
 2022-01-26 16:37:18 +01:00
Vincent Laporte 8187f6500d tamarin-prover: install emacs-mode 2022-01-25 15:54:15 +01:00
Vincent Laporte 20e7213d16 coq_8_15: 8.15+rc1 → 8.15.0 2022-01-25 10:53:57 +01:00
FliegendeWurst 28b43ffd54 key: 2.6.3 -> 2.10.0 2022-01-22 15:55:25 +01:00
Jan van Brügge d653b33f20
maintainers: add jvanbruegge 2022-01-19 18:25:27 +01:00
Jan van Brügge 6fff929c5e
isabelle: Prebuild HOL session 
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
 2022-01-19 18:25:26 +01:00
Mauricio Collares c3b215f678 lean: 3.37.0 -> 3.38.0 2022-01-12 16:25:20 -03:00
1000teslas a4b6785de9 isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00
1000teslas d9d30199ec isabelle: patch zipperposition binary 2022-01-11 11:55:38 +11:00
Renaud 3e90bc0c91
Merge pull request #153014 from numinit/add-klee 
klee: init at 2.2
 2022-01-09 00:16:19 +01:00
Morgan Jones 5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00
Mauricio Collares 81d4c28748 lean: 3.36.0 -> 3.37.0 2022-01-07 16:51:55 -03:00
Mauricio Collares b790f8ce31 lean: 3.35.1 -> 3.36.0 2022-01-04 10:35:17 -03:00
Gabriel Ebner adf7f03d3b
Merge pull request #153337 from collares/lean-3.35.1 
lean: 3.35.0 -> 3.35.1
 2022-01-03 16:40:00 +01:00
Mauricio Collares 5b3eac3130 lean: 3.35.0 -> 3.35.1 2022-01-03 11:42:18 -03:00
Gabriel Ebner 7fb27d1c22
Merge pull request #153190 from jvanbruegge/isabelle-vampire 
isabelle: Use vampire and eprover from nixpkgs
 2022-01-02 22:56:09 +01:00
Jan van Brügge c601134af8
isabelle: Use vampire and eprover from nixpkgs 
It also removes the unused perl input
 2022-01-02 20:53:33 +01:00
Jan van Brügge f79b811f2d
eprover: Add option to enable LFHOL reasoning 
Using eprover as automated theorem prover for sledgehammer requires this
option.
 2022-01-02 20:53:32 +01:00
Sergei Trofimovich 369d7bb4ca z3: 4.8.12 -> 4.8.14 
While at it added trivial updater plumbing.
 2022-01-02 12:45:59 -06:00
R. RyanTM 0bf7411211
libpoly: 0.1.10 -> 0.1.11 
* libpoly: 0.1.10 -> 0.1.11 (#144410)

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-02 17:38:00 +01:00
R. RyanTM caa56925f9
yices: 2.6.2 -> 2.6.4 
(#143311)
 2022-01-02 10:15:42 +01:00
Jan van Brügge b54e5a841b
vampire: 4.5.1 -> 4.6.1 2022-01-01 22:13:11 +01:00
Jan van Brügge 4b9c0cb005
isabelle: 2021 -> 2021-1 2021-12-31 13:01:41 +01:00
Jan van Brügge d3e2cf4314
verit: 2016 -> 2021.06.2 2021-12-31 13:00:43 +01:00
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