summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMikhail Pukhlikov <cynede@gentoo.org>2017-11-20 12:34:32 +0400
committerMikhail Pukhlikov <cynede@gentoo.org>2017-11-20 12:34:32 +0400
commitddbbeb1b57c0b08c06d36a36a5adb639c2c42367 (patch)
tree78fed37a551a18378f2920da6d3f211faf1557a8 /dev-lang/fsharp/Manifest
parentnet-libs/nodejs: Old. (diff)
downloadgentoo-ddbbeb1b57c0b08c06d36a36a5adb639c2c42367.tar.gz
gentoo-ddbbeb1b57c0b08c06d36a36a5adb639c2c42367.tar.bz2
gentoo-ddbbeb1b57c0b08c06d36a36a5adb639c2c42367.zip
dev-lang/fsharp: bump 4.0.x version, remove 4.1.x version
Package-Manager: Portage-2.3.14, Repoman-2.3.6
Diffstat (limited to 'dev-lang/fsharp/Manifest')
-rw-r--r--dev-lang/fsharp/Manifest3
1 files changed, 1 insertions, 2 deletions
diff --git a/dev-lang/fsharp/Manifest b/dev-lang/fsharp/Manifest
index 54611c27c14b..ea144054eb10 100644
--- a/dev-lang/fsharp/Manifest
+++ b/dev-lang/fsharp/Manifest
@@ -1,2 +1 @@
-DIST fsharp-4.0.1.20.tar.gz 37326450 SHA256 380fe581d1ad99e32c8dc5974c764d90681f31dcbb1c67eb43870f524a9d0209 SHA512 040ee6668b4ca1c05f23d50750e3391cedd877bbc640e166362ba90e511e7175cff9d31d5998d11496bdd868d52b3fb3912fae62c56be0e1acb5806b2580d5b0 WHIRLPOOL d12732b7961931d4a804a4b0a793367509ca9882b61faede3fec9468654a8c30abb40c2ccb09bab6544a12bc07afd9dc69e8f2d3c10dc02d487ae2a89a59e5fa
-DIST fsharp-4.1.18.tar.gz 41632884 SHA256 bb342d7ba0900486949ef271ae6db948a3cc9428859e8988ead9daaf73526379 SHA512 5271b0de7d82789eeb4151485f1285769be491a4271d6a926b09ae80e076b1726f1ab11f118f97e6331fc4fbc0124ae5f65295e505dd36c272e522f30910b68c WHIRLPOOL e1ea3ce943e9405d5dce9abba2e84145c89da5279f4f3d65b0fd2162751023c646265117ccff40adca07659c511156262d0c46d80f0c4346c9e851cbcb121033
+DIST fsharp-4.0.1.20.1.tar.gz 37325028 SHA256 c203f3eb068efe19952c84258fd86619ed73269398dc4f320a6c9233981695a6 SHA512 a11f715b955381b720b7d9b59e3ade68566ba7756bc77312785b131154708478622f1c6ad6743030f78e15ebd0d11513bae050a638bc11c585412ef0c83ee857 WHIRLPOOL cd971ae41cfe2d1a3d53d1295a82b5f0e453ad854dde1452af5eb35991f08a6ba195459f404650f45b02b77336a57183e39f89bfc760f00a037675355c61b47b