Your message dated Thu, 10 Dec 2015 16:41:14 +0000
with message-id <[email protected]>
and subject line Bug#807421: fixed in fsharp 4.0.0.4+dfsg2-2
has caused the Debian Bug report #807421,
regarding fsharp: crashes on invocation with old libfsharp-core4.3-cil
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.)
--
807421: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=807421
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: fsharp
Version: 4.0.0.4+dfsg2-1
Dear Maintainer,
(Sorry to be reporting a bug in an experimental package, feel free to
close if you don't want to track this sort of issue here.)
In order to run Hypelib http://hypelib.github.io/Hype/ and DiffSharp
http://diffsharp.github.io/DiffSharp/index.html, which requires F# 4.x,
I did an "aptitude install fsharp/experimental" and then rejected
solutions until it got one that only removed old libraries, and
upgraded/installed a heap of stuff including in particular the
experimental mono packages.
Invoking fsharpi or fsharpc dumped core.
Then I noticed that
$ apt-cache policy libfsharp-core4.3-cil
libfsharp-core4.3-cil:
Installed: 3.1.1.26+dfsg2-3
Candidate: 3.1.1.26+dfsg2-3
Version table:
4.0.0.4+dfsg2-1 0
1 http://ftp.ie.debian.org/debian/ experimental/main amd64 Packages
*** 3.1.1.26+dfsg2-3 0
850 http://ftp.ie.debian.org/debian/ jessie/main amd64 Packages
When I installed libfsharp-core4.3-cil/experimental, fsharpi and fsharpc
stopped dumping core and started to work.
Currently the dependency on libfsharp-core4.3-cil is unversioned.
It should probably be versioned like the libmono* libraries.
Cheers,
--Barak.
--
Barak A. Pearlmutter <[email protected]>
Dept Comp Sci & Hamilton Institute, Maynooth University, Co. Kildare, Ireland
http://barak.pearlmutter.net
--- End Message ---
--- Begin Message ---
Source: fsharp
Source-Version: 4.0.0.4+dfsg2-2
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: Thu, 10 Dec 2015 16:17:12 +0000
Source: fsharp
Binary: fsharp libfsharp-core4.3-cil libfsharp-data-typeproviders4.4-cil
Architecture: source all
Version: 4.0.0.4+dfsg2-2
Distribution: unstable
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: 807421
Changes:
fsharp (4.0.0.4+dfsg2-2) unstable; urgency=medium
.
* [714aa5b] Add a strict version dependency for fsharp (Closes: #807421)
Checksums-Sha1:
c3556231917209a290f21412531f3ab84b5092e8 1935 fsharp_4.0.0.4+dfsg2-2.dsc
ab7f751e881ed63280499b7b84f49ddc5c35229d 17324
fsharp_4.0.0.4+dfsg2-2.debian.tar.xz
3b8d50d7f7ea1c2841af88a42e58541bcf37557f 2920090 fsharp_4.0.0.4+dfsg2-2_all.deb
ed4cd5d1bebe7c49368bb790ef3fc66701c4472d 539330
libfsharp-core4.3-cil_4.0.0.4+dfsg2-2_all.deb
483a6e00ac5340f86758c6af5657d996284e8b59 112402
libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfsg2-2_all.deb
Checksums-Sha256:
06d26144b91580c9c1fb8216c6d21ceb5062885f0b40cc257184ff4acc8a751f 1935
fsharp_4.0.0.4+dfsg2-2.dsc
75ce700bc5923d1b300ab03c07ea1c23d58017163cfc43a16e06e95b9826b2f0 17324
fsharp_4.0.0.4+dfsg2-2.debian.tar.xz
d07087bf76574c082ca4734746641bbee88356d3ac1a823b11af8d19523f3935 2920090
fsharp_4.0.0.4+dfsg2-2_all.deb
ec2dab85f276ed0fe0adab72e8bd9564b014ad54582e88b494dc286bbaaf7538 539330
libfsharp-core4.3-cil_4.0.0.4+dfsg2-2_all.deb
a9be027b3562433b95f6fb55d63cd0c69639fe769cd64eb808c34816b7b56b33 112402
libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfsg2-2_all.deb
Files:
a2aa55a6c78295289e591e44986367c9 1935 cli-mono optional
fsharp_4.0.0.4+dfsg2-2.dsc
6db649319794360a25055042287c709d 17324 cli-mono optional
fsharp_4.0.0.4+dfsg2-2.debian.tar.xz
7788065f32e20f2c54474ae961e15d8a 2920090 cli-mono optional
fsharp_4.0.0.4+dfsg2-2_all.deb
99c0a48f63a45f0f99bd869070700c0e 539330 cli-mono optional
libfsharp-core4.3-cil_4.0.0.4+dfsg2-2_all.deb
b5579504d6c5a87ff7f9bf55436ed47a 112402 cli-mono optional
libfsharp-data-typeproviders4.4-cil_4.0.0.4+dfsg2-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQEcBAEBAgAGBQJWaagzAAoJEMkPnLkOH60MTNEIAL73i0gXxp4yymD5VR2rnRt3
AkF3IACMJl1rtyUBzgOWGrNynOPMr2QhMheDN2aGodFCjVo51abM+a9jvqZttHiH
wnJw2wpz0kb0zrYU5GJGkFPi05Up4zLNeS9ZWZYIR6i3UiFEYEeYnfLAiEpWCNhy
2AiJyWiLDPftHepNcEBcbg7hYhTeu+iRpuY38x1NpFSYqavJTcGDfBbjTMF7aZ4j
VRk+rAwILMIvRFGbT30AAhq9Ik63usFNWEKUvODiC5YhcLaiFWqsDlPL/T5dT7sk
bf1WvCvjmfKeZIPpvdItltWtaqSOXEdf6hVW4DQJpmECprdHS5tOCdS9dvBmFRg=
=0PSm
-----END PGP SIGNATURE-----
--- End Message ---
