diff options
| author |   Heather Cynede <cynede@gentoo.org> | 2015-08-11 17:45:44 +0400 |
|---|---|---|
| committer | Heather Cynede <cynede@gentoo.org> | 2015-08-11 17:47:01 +0400 |
| commit | 6af040ea7e38ea115441b2bad45bff31357e8183 (patch) | |
| tree | ea969b2eb94477ecc401285930c61326f5c956e7 /dev-lang/fsharp/Manifest | |
| parent | media-sound/pnmixer: fix DEPEND (diff) | |
| download | gentoo-6af040ea7e38ea115441b2bad45bff31357e8183.tar.gz gentoo-6af040ea7e38ea115441b2bad45bff31357e8183.tar.bz2 gentoo-6af040ea7e38ea115441b2bad45bff31357e8183.zip | |
fsharp bump
Package-Manager: portage-2.2.20
Diffstat (limited to 'dev-lang/fsharp/Manifest')
| -rw-r--r-- | dev-lang/fsharp/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/fsharp/Manifest b/dev-lang/fsharp/Manifest index c06d43040807..bd53cd440596 100644 --- a/dev-lang/fsharp/Manifest +++ b/dev-lang/fsharp/Manifest @@ -1 +1,2 @@ DIST fsharp-3.1.1.31.tar.gz 31369171 SHA256 9b39c3f4625475c2553668ddbca337ec52fa3a637a05ae14a61a41abe39568b0 SHA512 fcbdad5780a5dd6ab55c380d70b8d0a38f25088e2bb49078468a2cd723b604a14bee6ba2d1005094b1f777a894208654b3f8d3876c5f72126ddc24f96e1eb049 WHIRLPOOL e9060e1e8ccfd3b0efcfeb1148cb5182390e738e8b462746e87d52acaacf5561b53cde50c920a1e4f6929ddf9f3ad0ca6a7d1e9eb8fd3b10af37a375675df019 +DIST fsharp-4.0.0.3.tar.gz 39812344 SHA256 d8a0f2e4504900d973532e1aa28c6758e8f2648898f85ef345437632b5ed1ed2 SHA512 18fae6c20290dec5a0961173875d3b57b9ca6e26d8a4147cf38631752c6feb8202d7726c2f83c30886947388bcc98bae4961f38ae0a169098a004db75e64cd26 WHIRLPOOL e267e156a80edc7d760c3266cb6fe0d5e175e843ebd9cebfa614ecb2fa3bb10f5fe6ee191e3c7bc9e082fb21ac5ce70f8791226b32d2d02313fb8b35009ba5e9 |