From 054a111019545f428972228efe5441f4065c0534 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Jul 31 2018 08:35:02 +0000 Subject: update sources --- diff --git a/.gitignore b/.gitignore index 0b3bf6c..b577357 100644 --- a/.gitignore +++ b/.gitignore @@ -16,3 +16,5 @@ /Agda-2.5.3.tar.gz /gitrev-1.3.1.tar.gz /uri-encode-1.5.0.5.tar.gz +/EdisonCore-1.3.2.1.tar.gz +/geniplate-mirror-0.7.6.tar.gz diff --git a/sources b/sources index 580b750..4342055 100644 --- a/sources +++ b/sources @@ -1,7 +1,7 @@ -SHA512 (geniplate-mirror-0.7.5.tar.gz) = c5ca8c9de5e4ba00e45fbb3e1a2510cb02b6fe9fc1447ab0e40f70ff2a9c93234b1e114816a8cde3f8adffa63e830e8d5ced70a71863c357663e10632e372eac +SHA512 (Agda-2.5.3.tar.gz) = d75d006ce37db576544c0bbbce3c2c508fe9b0f611c5717e8516aff59349af1322f684c338ac3928fce03d7883c4101206d7c236bf7a669f757537b119ffc52e SHA512 (EdisonAPI-1.3.1.tar.gz) = 677161da64856421c834856ee2f5ef7f59880883433d5c5c4061f0ab2faa0cb39c4eb83061820b77dab852acc4cce5dc75740fe454b15dbc2e67e6e84510ce42 -SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486 +SHA512 (EdisonCore-1.3.2.1.tar.gz) = 6812b04edb1abdfc2486d66bb86d6370b76667de1603ab421d92a6ecc17a25014e0ab97f53dd4f1e75cacf32c31611e8f2dd6c740c840e349c3c762ae00df65f +SHA512 (geniplate-mirror-0.7.6.tar.gz) = e75f42524d76f02f2dd66ca240ec4b2711445d7ce2b314bf2a487c61927707960ae74023faab3b539294d4afb66b0381462dd9ed0d1bca5a70f21e5d12d11f5d SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539 -SHA512 (EdisonCore-1.3.1.1.tar.gz) = 2e290a5c792a136931387936f457a45913edeedb9eda8006649b974d9aea294b9f1b7e5b2aa020c3ed151934cef8b2bd228e2cb56f7db37f35d59dcb23f7bcb8 -SHA512 (Agda-2.5.3.tar.gz) = d75d006ce37db576544c0bbbce3c2c508fe9b0f611c5717e8516aff59349af1322f684c338ac3928fce03d7883c4101206d7c236bf7a669f757537b119ffc52e +SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486 SHA512 (uri-encode-1.5.0.5.tar.gz) = 1ad0fb5144b93dce50ffaf99a84ba2fe8c05508866fb374d62b75c4a32b58f3c97d7ec30257eec29973ad15fde4e902286e86a41ee36e62b00e00d941e181885