diff options
Diffstat (limited to 'dev-ml/mirage-clock/Manifest')
| -rw-r--r-- | dev-ml/mirage-clock/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/mirage-clock/Manifest b/dev-ml/mirage-clock/Manifest index ae784e839c2d..82acb7cc92fa 100644 --- a/dev-ml/mirage-clock/Manifest +++ b/dev-ml/mirage-clock/Manifest @@ -1 +1,2 @@ DIST mirage-clock-3.1.0.tar.gz 8441 BLAKE2B a8cc3b1ab3f929c4c28ce5f0dfe30d316b1d9445f4fd053743d5e224e8b5630c9ae2d12804ca690488a238c6aa8cd8b197ca8ca7d9e49b902964570c78ed946b SHA512 e4518a6c47e18c7fd3fd910de2f68cacb18735d59bcfffc79b676c8526466f2134979805222c39496588ef6f16a8f6b1fb79fec478459a3ec474fb60118c5551 +DIST mirage-clock-4.2.0.tar.gz 8440 BLAKE2B 37c701a92ec8cdf71e9d297ec09992f313f1b3637146988b8fac3e7c6e21be4eb2ebe622fdf1ae52612b2cf51e6cbfa87750c62bf68f126d3e61789d461a4a31 SHA512 7c32adf30505fe35a1313c162731b96e283a883dbc18d530344830a1f76d3397a6dd3b76a4ac3024aa02ff917d228c953c9ebdfeeae1f48686e776007234edda |