blob: 3c1586c72e9b3c3c1d0c8ad738bd18f26274e3f4 (
plain)
1
2
3
4
5
6
7
8
9
|
$NetBSD: distinfo,v 1.7 2017/03/23 17:06:55 joerg Exp $
SHA1 (open-axiom-1.4.1.tar.bz2) = 52a6791c31125507f33b48d4ea38e7a9c7918cb5
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
|