blob: cd36bddb2f5ff8cea7085d27e8340ce0b7cac523 (
plain)
1
2
3
4
5
6
7
8
|
$NetBSD: distinfo,v 1.8 2021/10/07 14:28:12 nia Exp $
RMD160 (open-axiom-1.4.1.tar.bz2) = 172f21ce6bfde933a51e0fdfdeae19617a611d1e
SHA512 (open-axiom-1.4.1.tar.bz2) = 72516baf9bebafc9db10dbaab319d0a9893212e7b5c6b9c57225a2b2a04b621e1f13ba76c7034dcb22d5c7421e5c0e0b55a68eadacc318f21176238351a6213d
Size (open-axiom-1.4.1.tar.bz2) = 10023493 bytes
SHA1 (patch-src_hyper_htadd.c) = 178409e3caca7bbdf02df2ff605ae44539e4f9b3
SHA1 (patch-src_hyper_lex.c) = 6b8ccab845defc78254c98f60adc8397acefc2c6
SHA1 (patch-src_interp_patches.lisp) = ab826628fec7e234b7f3eed796664b4c4766ffb3
|
