summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMikhail Pukhlikov <cynede@gentoo.org>2016-12-02 16:36:06 +0400
committerMikhail Pukhlikov <cynede@gentoo.org>2016-12-02 16:36:06 +0400
commita810e83e11219d41b446126c4696e602f4062211 (patch)
tree3ad3982c2ebd5aa2bd76fcb30de702b7e625787b /dev-lang
parentx11-plugins/wmhdplop: version bump to 0.9.10 (diff)
downloadgentoo-a810e83e11219d41b446126c4696e602f4062211.tar.gz
gentoo-a810e83e11219d41b446126c4696e602f4062211.tar.bz2
gentoo-a810e83e11219d41b446126c4696e602f4062211.zip
dev-lang/fsharp: bump
Package-Manager: portage-2.3.2
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/fsharp/Manifest2
-rw-r--r--dev-lang/fsharp/fsharp-4.0.1.20.ebuild (renamed from dev-lang/fsharp/fsharp-4.0.1.15.ebuild)0
2 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/fsharp/Manifest b/dev-lang/fsharp/Manifest
index fa02a0bf74a3..0593a441ef99 100644
--- a/dev-lang/fsharp/Manifest
+++ b/dev-lang/fsharp/Manifest
@@ -1 +1 @@
-DIST fsharp-4.0.1.15.tar.gz 37324140 SHA256 59dd17ca62d1a91f124b3cce8522bd01855ee15abf5ad38ad5d7b6b607a01f45 SHA512 2464eecc1168e85c2a6cd4a36664de98fa5033a6dbf09509df61e0a1cd41bb86f551dae6662449d9e63a5dc2a6db8e1fcb9e43a9b3aadef40cb0884dd19fcf30 WHIRLPOOL e53b667e5b5eb70cf6367b1d97255b4efd9f0474164c128e3f29b315440f20e64629f90e9ea630cb5641daadfcb9ea97af9d1e340d95835c30344dbd450e7aa4
+DIST fsharp-4.0.1.20.tar.gz 37326450 SHA256 380fe581d1ad99e32c8dc5974c764d90681f31dcbb1c67eb43870f524a9d0209 SHA512 040ee6668b4ca1c05f23d50750e3391cedd877bbc640e166362ba90e511e7175cff9d31d5998d11496bdd868d52b3fb3912fae62c56be0e1acb5806b2580d5b0 WHIRLPOOL d12732b7961931d4a804a4b0a793367509ca9882b61faede3fec9468654a8c30abb40c2ccb09bab6544a12bc07afd9dc69e8f2d3c10dc02d487ae2a89a59e5fa
diff --git a/dev-lang/fsharp/fsharp-4.0.1.15.ebuild b/dev-lang/fsharp/fsharp-4.0.1.20.ebuild
index f3660d8bf7d3..f3660d8bf7d3 100644
--- a/dev-lang/fsharp/fsharp-4.0.1.15.ebuild
+++ b/dev-lang/fsharp/fsharp-4.0.1.20.ebuild