Nathan van Doorn
637fcf2593
j: fix build
2021-02-16 14:26:06 +00:00
Nathan van Doorn
ed299a44e0
metamath: correct license to gpl2Only
2020-12-28 17:51:38 +00:00
Nathan van Doorn and Sandro
a856e800f7
metamath: refer to tag rather than commit
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com >
2020-12-28 17:45:29 +00:00
Nathan van Doorn
3de56b05a3
metamath: 0.193 -> 0.194
2020-12-28 08:25:17 +00:00
Nathan van Doorn
0e31884bef
haskellPackages.integer-root: don't check
...
The test-suite depends on smallcheck 1.1 but we package 1.2
This is fixed in the upstream repository but the fix hasn't been released yet
2020-12-04 21:19:53 +01:00
Nathan van Doorn
b6cb88dd20
haskellPackages.cyclotomic: mark as unbroken
2020-12-04 21:19:46 +01:00
Nathan van Doorn
bc2c06cfd1
haskellPackages.quadratic-irrational: mark as not broken
2020-12-04 21:19:46 +01:00
Nathan van Doorn
1a6a2bb4d3
haskellPackages.cantor-pairing: mark as not broken
2020-12-04 21:19:46 +01:00
Nathan van Doorn
efa9bddecf
haskellPackages.enumeration: mark as not broken
2020-12-04 21:19:46 +01:00
Nathan van Doorn
25f91f0abd
haskellPackages.arith-encode: mark as not broken
2020-12-04 21:19:46 +01:00
Nathan van Doorn
9c7e9439ef
haskellPackages.arithmoi: mark as not broken
2020-12-04 21:19:45 +01:00
Nathan van Doorn
12c3e0a465
nixos/services/hoogle use DynamicUser instead of nobody
...
I've also removed PrivateTmp = true because this is implied by dynamic user.
I've left ProtectHome = true because I believe this is stronger than
ProtectHome = "read-only" which DynamicUser implies.
2020-11-30 13:36:19 +00:00
Nathan van Doorn
c1407066c4
metamath: 0.182 -> 0.193
2020-11-16 11:41:34 +00:00
Nathan van Doorn
9369f74fb2
grub2: use python3 by default
...
It should work fine with either 2 or 3 (I'm pretty sure Arch uses 3, for example), and we should be aiming to move away from python 2 wherever possible
2020-08-28 16:09:15 +02:00
Nathan van Doorn
229cdf3d99
metamath: 0.181 -> 0.182
...
Also includes a fix to the makefile that lets the autoconf stuff Just Work(tm)
2020-05-01 09:22:33 +02:00
Nathan van Doorn
00c866bf62
intecture-cli: use openssl 1.0.2
...
(#70614 )
2019-11-14 20:19:14 +01:00
Nathan van Doorn
31315ec730
vimPlugins.vim-metamath: init at 2017-02-10
2019-11-07 11:18:05 -08:00
Nathan van Doorn
060f3125fc
vimPlugins: Update
2019-11-07 11:18:05 -08:00
Nathan van Doorn
8bf42f538e
Doc fix: use correct function name in type signature for concatIMapStringsSep
2019-03-18 12:14:39 +00:00
Nathan van Doorn
512833807d
pythonPackages.cbor2: init at 4.1.2 ( #57507 )
2019-03-14 12:22:29 +01:00
Nathan van Doorn
28097a54f1
metamath: 0.171 -> 0.172
2019-01-29 10:58:21 +00:00
Nathan van Doorn
3a096b4616
metamath: 0.168 -> 0.171
2019-01-07 18:38:22 +00:00
Nathan van Doorn
395b69a6a0
metamath: init at 0.167
2018-12-09 10:18:25 +00:00
Nathan van Doorn
d6dc56180b
haskellPackages.JuicyPixels: re-enable Haddock
...
This was made to avoid an issue which was fixed in `3.2.9.3`. The version currently in `nixpkgs 18.03` is `3.2.9.4`, which includes this fix.
2018-09-18 15:29:58 +01:00
Nathan van Doorn