diff options
author | Nathan van Doorn <nvd1234@gmail.com> | 2020-04-28 00:03:56 +0100 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-05-01 09:22:33 +0200 |
commit | 229cdf3d9948b58eee79d1cee81d14eedb3a157b (patch) | |
tree | e130bc083dc07cb75a4fb5a50ea0d396313ca284 /pkgs/tools/text/gjo | |
parent | 839e958f14c00e0a89db8a57d1cd56ef83590989 (diff) | |
download | nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.gz nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.bz2 nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.lz nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.xz nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.tar.zst nixlib-229cdf3d9948b58eee79d1cee81d14eedb3a157b.zip |
metamath: 0.181 -> 0.182
Also includes a fix to the makefile that lets the autoconf stuff Just Work(tm)
Diffstat (limited to 'pkgs/tools/text/gjo')
0 files changed, 0 insertions, 0 deletions