Shadaj Laddad
|
9d02ea53de
|
cadical: include C++ headers
|
2021-10-14 15:23:05 -07:00 |
|
Narazaki, Shuji
|
960ddb6f8f
|
cadical: 1.3.0 -> 1.4.1
|
2021-08-22 20:46:34 +09:00 |
|
Guillaume Girol
|
0708fe494b
|
cadical: install library
|
2021-07-23 21:19:27 +02:00 |
|
Profpatsch
|
4a7f99d55d
|
treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938
meta = with stdenv.lib;
is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.
This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.
The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
|
2021-01-11 10:38:22 +01:00 |
|
Daniël de Kok
|
5f0cf22c59
|
cadical: enable tests
|
2020-06-24 15:10:53 -07:00 |
|
Narazaki, Shuji
|
d6c90aea17
|
cadical: 1.2.1 -> 1.3.0
|
2020-06-15 22:56:41 +09:00 |
|
Daiderd Jordan
|
b7ddbd52bd
|
treewide: replace SRI hashes
|
2020-06-01 15:24:19 +02:00 |
|
Narazaki, Shuji
|
c5a12e33d2
|
cadical: init at 1.2.1
|
2020-04-05 00:22:36 +09:00 |
|