$NetBSD: distinfo,v 1.9 2021/10/26 10:55:50 nia Exp $

BLAKE2s (open-axiom-1.4.1.tar.bz2) = 1e3cbb375b3a6aa71dc056f158707dc495f6fe942ba2ebc1be69fdf494f6b01e
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