Nathan van Doorn a856e800f7 metamath: refer to tag rather than commit ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>		2020-12-28 17:45:29 +00:00
..
default.nix	metamath: refer to tag rather than commit	2020-12-28 17:45:29 +00:00