diff options
Diffstat (limited to 'conf/checksums.ini')
| -rw-r--r-- | conf/checksums.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/checksums.ini b/conf/checksums.ini index f078768161..4a2ff3b7a5 100644 --- a/conf/checksums.ini +++ b/conf/checksums.ini @@ -20782,6 +20782,10 @@ sha256=9c0f7eaeb5ba6dc6f66433404d264941bf95cded2fa798b1f7a9dd580c21649b md5=ed9d30d9162d16ac8d5065cde6e0f6fa sha256=6c3b8fa619749cbb28ca0f8847e56773d13e0bb92f1ea34287420950373640c2 +[http://www.wias-berlin.de/people/si/tetgen1.4.2.tar.gz] +md5=59c92b223f69cc7e50ae6cd9d1539db1 +sha256=38f24694983f20e5bffa2ebc1d35a7c3abea50479a6df6449cc900bf2732891d + [ftp://ftp.gnu.org/gnu/texinfo/texinfo-4.8a.tar.bz2] md5=0f429f87de9f20d6c0d952e63bf8e3fa sha256=efcda677be7ef093757d965736dff3b5af8c9fd36b3e7d3db09289a4a1d5d013 |