$NetBSD: distinfo,v 1.3 2005/02/24 14:48:42 agc Exp $

SHA1 (iso12083/article.dtd) = 977f2efd0d85c0803385421611e74c582fea10b5
RMD160 (iso12083/article.dtd) = 8d96a687c1140d48cd927b0ee4a6824d49c83c4e
Size (iso12083/article.dtd) = 38142 bytes
SHA1 (iso12083/book.dtd) = 6e0addd1cd5d18ad10e4a37958c0ba7b42c9dfe4
RMD160 (iso12083/book.dtd) = 317e15412024ad097e952d83e9753d64b6fe4a0c
Size (iso12083/book.dtd) = 40355 bytes
SHA1 (iso12083/maths.dtd) = 083c4d31d7e67da70d80b0ddc992fc8923d2d570
RMD160 (iso12083/maths.dtd) = d5aaa2e0c9042e2d27974b6526f2966ef85740b1
Size (iso12083/maths.dtd) = 16111 bytes
SHA1 (iso12083/serial.dtd) = 0ffea25cdc6364ca4bc6358dc08a8600c20e4a3b
RMD160 (iso12083/serial.dtd) = 15352e381c80940d4520f11de7811a4aac5c4513
Size (iso12083/serial.dtd) = 10543 bytes