JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
213,318 Commits 2 Branches 0 Tags 13 GiB
eb11feaa0b
Commit Graph

816 Commits

Author SHA1 Message Date
Benjamin Hipple
eb11feaa0b treewide: change fetchCargoTarball default to opt-out 
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.

This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.

See #79975 for details.
 2020-02-13 22:41:37 -08:00
R. RyanTM
1d4fd7f5f2 verifast: 18.02 -> 19.12 2020-02-09 14:29:31 -06:00
Ryan Mulligan
c9cf351871 Merge pull request #79479 from r-ryantm/auto-update/workcraft 
workcraft: 3.1.9 -> 3.2.5
 2020-02-09 06:37:47 -08:00
Jannik Vierling
6ea5cd21ab iprover: 2018_Jul_24_11h -> 3.1 2020-02-09 09:38:57 +01:00
Emily
a14a32fd75 symbiyosys: 2019.10.11 -> 2020.02.08 2020-02-08 23:00:07 -06:00
R. RyanTM
5bf0de57ad workcraft: 3.1.9 -> 3.2.5 2020-02-07 21:09:41 +00:00
Florian Klink
570afbcb5b abc-verifier: passthru rev 
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
 2020-02-01 12:49:45 +01:00
Florian Klink
351f47da57 abc-verifier: 2018-07-08 -> 2020-01-11 2020-02-01 12:49:45 +01:00
Vincent Laporte
13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte
659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Luka Blaskovic
fd614a8e8f saw-tools: use default llvm 2020-01-30 18:35:30 -05:00
Mario Rodas
a20b7cff7c
Merge pull request #78521 from r-ryantm/auto-update/ott 
ott: 0.29 -> 0.30
 2020-01-29 21:47:20 -05:00
R. RyanTM
f1085d02bb ott: 0.29 -> 0.30 2020-01-26 09:43:23 +00:00
DwarfMaster
227a3f4383 Renamed maintainer lucas8 -> dwarfmaster 2020-01-21 16:39:52 +10:00
Robin Gloster
ab0cfd9e03
treewide: NIX_*_COMPILE -> string 2019-12-31 00:10:18 +01:00
Frederik Rietdijk
6d059becd3 Merge gcc-9 into staging (#68029) 2019-12-30 16:38:38 +01:00
Merijn Broeren
133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
Franz Pletz
1a871b4382
minisat: 2.2.0 -> 2.2.1 2019-12-30 03:50:35 +01:00
Maximilian Bosch
9842c4b107
treewide: update which packages I'm currently maintaining 
Idea shamelessly stolen from 4e60b0efae.

I realized that I don't really know anymore where I'm listed as maintainer and what
I'm actually (co)-maintaining which means that I can't proactively take
care of packages I officially maintain.

As I don't have the time, energy and motivation to take care of stuff I
was interested in 1 or 2 years ago (or packaged for someone else in the
past), I decided that I make this explicit by removing myself from several
packages and adding myself in some other stuff I'm now interested in.

I've seen it several times now that people remove themselves from a
package without removing the package if it's unmaintained after that
which is why I figured that it's fine in my case as the affected pkgs
are rather low-prio and were pretty easy to maintain.
 2019-12-26 15:27:47 +01:00
Franz Pletz
77b6c3cd06
Merge remote-tracking branch 'origin/master' into gcc-9 2019-12-26 14:17:36 +01:00
Alyssa Ross
7887a81193
treewide: fix cargoSha256 (again) 
cargo-vendor output was changed in a4fc84de44.
 2019-12-20 20:08:53 +00:00
Austin Seipp
367676ce82
z3: 4.8.5 -> 4.8.7 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-12-14 20:33:59 -06:00
Vincent Laporte
856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1 
coq_8_11: init at 8.11+β1
 2019-12-14 19:13:40 +01:00
Robert Scott
c676063047 btor2tools: correct meta information 2019-12-12 10:37:02 -06:00
Robert Scott
b9185a96be boolector: add patch for CVE-2019-7560 2019-12-12 10:37:02 -06:00
Robert Scott
2611887c2e lingeling: enable for darwin 2019-12-08 18:32:04 +00:00
Robert Scott
dc6233b972 aiger: enable for darwin 2019-12-08 18:31:49 +00:00
Vincent Laporte
2942490c2c
coq_8_11: init at 8.11+β1 2019-12-07 07:58:00 +00:00
Matt Huszagh
9c7cd63b3d symbiyosys: add yices dependency 
Symbioyosys requires at least smt solver backend
to work out of the box.
 2019-12-04 14:29:31 -06:00
Vincent Laporte
3806eff9ca coq_8_10: 8.10.1 → 8.10.2 2019-12-03 13:51:52 +00:00
Jonathan Ringer
0c1c18ca44
Merge branch 'master' into staging-next 2019-11-27 22:57:50 -08:00
John Ericson
d60532bc71 coq: Fix setup hook 2019-11-25 14:20:10 +00:00
Frederik Rietdijk
5f8b0d7d99 Merge staging-next into staging 2019-11-19 14:53:29 +01:00
adisbladis
c9d8624ccd
treewide: Get rid of libGLU_combined 2019-11-18 20:10:43 +00:00
c0bw3b
9367367dfd Treewide: fix URL permanent redirects 
Permanent redirects on homepages and/or source URLs
as reported by Repology
 2019-11-16 01:41:23 +01:00
Vincent Laporte
a61354f262
why3: 1.2.0 → 1.2.1 2019-11-11 11:30:52 +00:00
Matthew Bauer
5ebd36403e
Merge pull request #70641 from maggesi/rename-z77z-into-maggesi 
Rename z77z into maggesi
 2019-11-07 17:18:20 -05:00
Franz Pletz
18ab125e83
minisatUnstable: fix build with gcc9 2019-11-05 02:01:18 +01:00
Franz Pletz
6c3f824540
minisat: fix build with gcc9 2019-11-04 23:07:58 +01:00
R. RyanTM
7f919914bf eprover: 2.3 -> 2.4 2019-11-01 14:00:31 -07:00
Vincent Laporte
a8892b0d76
coq_8_10: 8.10.0 → 8.10.1 2019-10-25 07:58:47 +00:00
Vincent Laporte
d56582eb2b coq_8_10: enable CoqIDE 2019-10-25 07:58:02 +00:00
R. RyanTM
c300055e11 ott: 0.28 -> 0.29 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ott/versions
 2019-10-23 11:44:13 -07:00
Emily
fecfbe18bd symbiyosys: 2019.08.13 -> 2019.10.11 2019-10-19 12:26:49 -05:00
Vincent Laporte
b4db381443 coq_8_10: 8.10+β3 → 8.10.0 
coqPackages.coq-elpi: master → 1.1.0
 2019-10-16 02:43:46 +00:00
Vincent Laporte
0cc70b5697 coq: do not build CoqIDE for Coq 8.10 
GTK3 at version 3.24.11 has broken pkg-config files
 2019-10-16 02:43:46 +00:00
Vincent Laporte
1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte
325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
Aiken Cairncross
15dbd8de7c monosat: 60528a3 -> 1.8.0 
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
 2019-10-15 16:52:25 -04:00
Aiken Cairncross
b4da391ade monosat: Add self as maintainer 2019-10-15 12:20:55 +01:00