Your message dated Fri, 04 Dec 2015 17:00:27 +0000
with message-id <[email protected]>
and subject line Bug#794533: fixed in fsharp 4.0.0.4+dfsg2-1
has caused the Debian Bug report #794533,
regarding fsharp FTBFS/uninstallable with mono 4.0.2.5 (currently in
experimental)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
794533: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794533
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: fsharp
Version: 3.1.1.26+dfsg2-3
Serverity: important
I backported mono 4.0.2.5 from Debian experimental to raspbian
wheezy/jessie (I built it in wheezy but the fsharp testing was done in
jessie) as we have users asking for more recent mono versions (arm
support has been improving in mono upstream recently).
Since fsharp was one of the programs people have been having trouble
with I decided to try it against my new mono packages but I found it was
uninstallable as it depends on libmono-microsoft-build2.0-cil which is
no longer provided in the mono 4.0.2.5 packages.
So I decided to try rebuilding fsharp, that failed too with a configure
error. Reading configure.ac I found
MONOGACDIR20="$MONOGACDIR"/2.0
MONOGACDIR35="$MONOGACDIR"/3.5
MONOGACDIR40="$MONOGACDIR"/4.0
if ! test -e $MONOGACDIR20/mscorlib.dll; then
AC_ERROR(Couldn't find the mono gac directory or mscorlib.dll
in the usu
fi
The only version of mscorlib.dll provided by the mono 4.0.2.5 packages
is in /usr/lib/mono/4.5/mscorlib.dll which clearly cannot satisfy that test.
--- End Message ---
--- Begin Message ---
Source: fsharp
Source-Version: 4.0.0.4+dfsg2-1
We believe that the bug you reported is fixed in the latest version of
fsharp, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jo Shields <[email protected]> (supplier of updated fsharp package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 02 Dec 2015 14:47:27 +0000
Source: fsharp
Binary: fsharp libfsharp-core4.3-cil libfsharp-data-typeproviders4.4-cil
Architecture: source all
Version: 4.0.0.4+dfsg2-1
Distribution: experimental
Urgency: medium
Maintainer: Debian CLI Applications Team
<[email protected]>
Changed-By: Jo Shields <[email protected]>
Description:
fsharp - functional-first programming language - compiler for the CLI
libfsharp-core4.3-cil - functional-first programming language - core runtime
library
libfsharp-data-typeproviders4.4-cil - functional-first programming language -
data integration library
Closes: 794533 806216
Changes:
fsharp (4.0.0.4+dfsg2-1) experimental; urgency=medium
.
* [066b546] Refresh get-orig-source for F# 4.0
* [8659ed5] Imported Upstream version 4.0.0.4+dfsg
* [f5c1f79] Disable NuGet usage during build
* [ad394ee] Delete obsolete patch to bootstrap replacement
* [45ae32d] Refreshed debian/patches/debian-cli-policy.patch
* [db93ad3] Replacement patch to integrate build system for bootstrap
binaries
* [519eabc] We messd up +dfsg, so need a +dfsg2
* [ced478b] Fix typo in get-orig-source
* [d257718] Imported Upstream version 4.0.0.4+dfsg2
* [1112301] Build FsSrGen too
* [c5c319a] Refresh packaging for F# 4 (Closes: #806216, #794533)
* [a567e93] Re-add bootstrap command launch scripts
* [2ec9cdf] Better build-dependencies
* [60c2349] Assume Mono has 4.5 runtime, not 4.0
Checksums-Sha1:
abc484f67bc61f5315a14eba5ef90fc299aba301 1935 fsharp_4.0.0.4+dfsg2-1.dsc
9f9523171d7a0a6015b59a1012b30fd17195ad96 11038941
fsharp_4.0.0.4+dfsg2.orig.tar.gz
71d1da6c8ffedcdb8129c476e6f15fd76b1e8116 17280
fsharp_4.0.0.4+dfsg2-1.debian.tar.xz
9b73a42e58aa228794d69600ce578e29140b8341 2944308 fsharp_4.0.0.4+dfsg2-1_all.deb
8b7d86c86c6a7331aa1d106b581edf8af32032c2 541130
libfsharp-core4.3-cil_4.0.0.4+dfsg2-1_all.deb
4af63ed401a73cca500b2dd5482c113c2d3797a0 112600
libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfsg2-1_all.deb
Checksums-Sha256:
b08c5c4a6083e0774b5c0aebd745fed5846fa094b2fe496f844d42a92c43d3f5 1935
fsharp_4.0.0.4+dfsg2-1.dsc
a1328331ee85087dde48ee607bb0d2a34eae17872ed349d20f35457ec803d60c 11038941
fsharp_4.0.0.4+dfsg2.orig.tar.gz
75617d1dbd11e0a1ace88e40556ea926b3423b5fc8ceafa5e981f94ae3e9d904 17280
fsharp_4.0.0.4+dfsg2-1.debian.tar.xz
63c73316a0d8df1430c1a8fa5a90bc6755bbd60640a68be54f991f8632a91908 2944308
fsharp_4.0.0.4+dfsg2-1_all.deb
ec4a8d22203d983203f9e77ce9d65bfe9cd302012628a4f5a47597403f86b7cf 541130
libfsharp-core4.3-cil_4.0.0.4+dfsg2-1_all.deb
242795715b318bb3b46550588d8a39932ae73b9004774b4f844a5d4cd2df8f9d 112600
libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfsg2-1_all.deb
Files:
4a1bdc6b1a4f9bf964ef444af8cbe7df 1935 cli-mono optional
fsharp_4.0.0.4+dfsg2-1.dsc
c65383912dac67c536edffb2d5668940 11038941 cli-mono optional
fsharp_4.0.0.4+dfsg2.orig.tar.gz
578fbfcd7714019db3f04cdca87ffab7 17280 cli-mono optional
fsharp_4.0.0.4+dfsg2-1.debian.tar.xz
796479e78ad5a78367ca2237322f91d8 2944308 cli-mono optional
fsharp_4.0.0.4+dfsg2-1_all.deb
7bbb83fbc0a9015f64e7eef3b61f1b9a 541130 cli-mono optional
libfsharp-core4.3-cil_4.0.0.4+dfsg2-1_all.deb
26978e0804cdb79c183c9c8532575190 112600 cli-mono optional
libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfsg2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQEcBAEBAgAGBQJWXwciAAoJEMkPnLkOH60MTHoH/33jIU+P6FfemKdVKWCysO1h
gsjcQfuMaWm9qBaOOsPJaWgQBVWG96KjEH/gZojZpLp4KFsB+dYoOJoXD0uNgQWL
zcb81zHmMVZI4AgaUZx6d2d5a83y9kFMFSv7PyGx/ymRe+GeNah7QFmj5mJhLt2X
uAUAD63qPMNtvUq8Bay5MMo8C816ZskRSlZlx1U4zaPZH5W4kfdGV2CyHj0FHdEZ
Y4TA7KwAvBOTSMdO61tbSdK/eLw0uJKN0jtB0e7HJAuPtQc17hrS49PJrPd9xC6u
uO6jv3ATKFutlOSyYpsy3T8xfG9DH2zKFqmqur1ME74aEYevo5042bWwF56tfaM=
=i7LS
-----END PGP SIGNATURE-----
--- End Message ---
