R. Ryantm
|
75b8e7eb4b
|
cryptominisat: 5.11.4 -> 5.11.11
|
2023-06-28 02:05:20 +00:00 |
|
kilianar
|
8a10153e82
|
cryptominisat: 5.8.0 -> 5.11.4
https://github.com/msoos/cryptominisat/releases/tag/5.11.4
|
2023-02-24 09:32:00 +01:00 |
|
zowoq
|
31f5dd3f36
|
treewide: editorconfig fixes
- remove trailing whitespace
- use spaces for indentation
|
2021-01-20 09:11:11 +10: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 |
|
Jörg Thalheim
|
223c91d032
|
cryptominisat: use fetchpatch
|
2020-07-09 08:21:21 +01:00 |
|
Jörg Thalheim
|
e3d703bb92
|
cryptominisat: fix build on darwin
|
2020-07-09 08:11:28 +01:00 |
|
R. RyanTM
|
3628d0d893
|
cryptominisat: 5.7.1 -> 5.8.0
|
2020-07-08 04:51:18 +00:00 |
|
R. RyanTM
|
8295aa6d8b
|
cryptominisat: 5.7.0 -> 5.7.1
|
2020-05-27 13:51:14 -07:00 |
|
R. RyanTM
|
0a115f8087
|
cryptominisat: 5.6.8 -> 5.7.0
|
2020-05-04 01:41:26 -07:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
volth
|
46420bbaa3
|
treewide: name -> pname (easy cases) (#66585)
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
|
2019-08-15 13:41:18 +01:00 |
|
volth
|
f3282c8d1e
|
treewide: remove unused variables (#63177)
* treewide: remove unused variables
* making ofborg happy
|
2019-06-16 19:59:05 +00:00 |
|
R. RyanTM
|
4f1c44906c
|
cryptominisat: 5.6.6 -> 5.6.8
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
|
2019-03-01 16:58:38 -08:00 |
|
Jörg Thalheim
|
37fe593d48
|
cryptominisat: switch to python3
|
2019-01-05 16:38:10 +01:00 |
|
Jörg Thalheim
|
4a4d1d6497
|
cryptominisat: 5.0.1 -> 5.6.6
|
2019-01-05 12:45:44 +01:00 |
|
Peter Hoeg
|
45248be2aa
|
cryptominisat: use new xxd package instead of vim
|
2017-07-24 09:37:58 +08:00 |
|
Jörg Thalheim
|
893c7b6112
|
cryptominisat: init at 5.0.1
|
2017-05-22 22:25:14 +01:00 |
|