colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
113,827 Commits 126 Branches 0 Tags 3.1 GiB
f0a1ab78b4
Commit Graph

450 Commits

Author SHA1 Message Date
Lukas Werling
f0a1ab78b4 meson/ninja: add setup hooks (#28444) 
* Add setupHook for meson/ninja build

* libhttpseverywhere: Use meson/ninja setupHooks

* jamomacore: Remove superfluous ninja buildInput

* Remove obsolete ninja buildPhases

These are all handled by ninja's setup hook.

* lean2, xcbuild: fix build with ninja setup hook

Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.

* qtwebengine: fix build with ninja setup hook
 2017-08-27 19:42:21 +02:00
Will Dietz
db66c996bf yices: 2.5.2 -> 2.5.3 
Move to github URL, homepage seems to be down currently.
 2017-08-27 10:10:48 -05:00
Will Dietz
3ab85383a0 libpoly: 0.1.3 -> 0.1.4 2017-08-27 10:10:47 -05:00
Gabriel Ebner
7da15a071d open-wbo: init at 2.0 2017-08-20 10:19:46 +02:00
Gabriel Ebner
acf01cbc6c lean2: 2016-11-29 -> 2017-07-22 
This will also fix the build issues with GCC 6.
 2017-08-19 15:24:35 +02:00
Matthew Bauer
b3d8c08a55 acgtk: fix homepage url 2017-08-17 15:04:37 -07:00
Matthew Bauer
99c868c010 use https://github.com for all homepages 
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
 2017-08-17 14:53:40 -07:00
Frederik Rietdijk
6e386925ac Merge pull request #28229 from jpierre03/pr-alt-ergo 
alt-ergo: use https instead of http to fetch archive
 2017-08-13 22:01:59 +02:00
Frederik Rietdijk
13bbaee21d Merge pull request #27881 from mimadrid/fix/http-https 
Update homepage attributes: http -> https
 2017-08-13 21:53:20 +02:00
Jean-Pierre PRUNARET
184d2e7977 alt-ergo: use https instead of http to fetch archive 2017-08-13 13:26:30 +02:00
Will Dietz
fbb6b90ed0 yices: 2.5.1 -> 2.5.2 2017-08-12 13:02:33 -05:00
Théo Zimmermann
057ffcf0dd coq: adding myself to the maintainers 2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051 coq: use camlp5_strict 
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
 2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00 coq: 8.6 -> 8.6.1 2017-08-04 19:52:51 +02:00
mimadrid
09e0cc7cc7
Update homepage attributes: http -> https 
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated
https://repology.org/repository/nix_stable/problems
 2017-08-03 11:56:15 +02:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809) 
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
 2017-08-01 22:03:30 +02:00
John Wiegley
ea8798acc6
coq2html: New expression 2017-08-01 09:30:20 -07:00
Peter Hoeg
45248be2aa cryptominisat: use new xxd package instead of vim 2017-07-24 09:37:58 +08:00
Franz Pletz
e69dfc252a
Revert "coq2html: New expression" 
This reverts commit 31437ccf7a.
 2017-07-20 19:36:50 +02:00
John Wiegley
31437ccf7a
coq2html: New expression 2017-07-20 11:51:25 -04:00
Symphorien Gibol
d7103eadc8 boolector: 1.{5,6} -> 2.4.1 2017-07-18 23:50:31 +02:00
Gabriel Ebner
7ba1c7a9fb iprover: 0.8.1 -> 2.5 2017-07-17 22:45:27 +01:00
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta 2017-07-15 09:27:41 +02:00
Michael Raskin
dcbe96d260 Merge pull request #27197 from kquick/master 
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
 2017-07-08 22:37:12 +02:00
Vincent Laporte
eb2be6d97e acgtk: 1.1 -> 1.3.1 2017-07-08 08:52:02 +02:00
Vincent Laporte
43b2b55743 hol_light: 2016-07-23 -> 2017-07-06 2017-07-08 06:14:43 +00:00
Kevin Quick
6cbd9ce8f9 Fix license reference for added libpoly library. 2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b Update yices to add libpoly/mcsat functionality and add soname target. 2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee Add poly library for manipulating polynomials. 2017-07-06 21:30:30 -07:00
Gabriel Ebner
89e02c7516 lean: 3.1.0 -> 3.2.0 2017-06-18 20:04:30 +02:00
Samuel Leathers
fdbcee03fe minisat: fix maintainer 2017-05-22 23:55:05 -04:00
Jörg Thalheim
2549be898d
stp: 2014.01.07 -> 2.2.0 2017-05-22 22:25:45 +01:00
Jörg Thalheim
893c7b6112
cryptominisat: init at 5.0.1 2017-05-22 22:25:14 +01:00
Jörg Thalheim
7786922240
minisatUnstable: init at 2013-09-25 2017-05-22 22:24:58 +01:00
Shea Levy
b1b61d0988 coq: nix-buffer: Inherit variables to PG shell 2017-05-22 00:45:54 -04:00
marcnnn
e46ca1b95f cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808) 
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514

* cvc4: use stable url

upstream delete their tarballs
 2017-05-20 14:00:39 +01:00
Shea Levy
b21540c4a6 coq: Add emacs buffer setup 2017-05-20 08:34:33 -04:00
Michael Raskin
41475012eb Merge pull request #25164 from marsam/master 
Homogenize abc-verifier, dwm, osmctools homepages
 2017-05-01 15:47:15 +02:00
Michael Raskin
49c419cf3e Merge pull request #25117 from lucas8/cubicle 
cubicle: init at 1.0.2
 2017-05-01 14:26:52 +02:00
Michael Raskin
ce9c7dd0d6 Merge pull request #21822 from rht/master 
coq_HEAD: Update to the latest commit
 2017-04-30 12:49:20 +02:00
lucas8
eedc6799b6
cubicle: init at 1.0.2 2017-04-25 22:02:42 +02:00
Mario Rodas
0e7b608ab0 abc-verifier: Add http url scheme to abc homepage 2017-04-23 18:45:36 -05:00
James ‘Twey’ Kay
c54588d250 redprl: 2016-09-22 -> 2017-03-28 2017-03-28 21:02:30 +01:00
rht
bbd1c3d58a
coq_HEAD: Update once more 2017-03-18 01:51:38 +03:00
rht
7264efb5cb
Fold in specific ocaml version choice into let 2017-03-18 01:51:37 +03:00
rht
975d040f07
coq_HEAD: Update to the latest commit 2017-03-18 01:50:26 +03:00
Robin Gloster
f70a896094
hol: mark as broken 2017-03-14 15:36:06 +01:00
Christopher League
242f6caac6 logisim: use better jar wrapper, closes #23068 2017-02-26 10:19:32 +01:00
Gabriel Ebner
cc647804f1 lean: 3.0.0 -> 3.1.0 2017-02-26 08:50:15 +01:00
Gabriel Ebner
ac10c19746 veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00