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