Your message dated Wed, 15 Oct 2014 15:37:54 +0000
with message-id <e1xeqea-00033o...@franck.debian.org>
and subject line Bug#763657: fixed in fsharp 3.1.1.26+dfsg2-1
has caused the Debian Bug report #763657,
regarding src:fsharp: Sourceless binaries in bootstrap
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 ow...@bugs.debian.org
immediately.)
--
763657: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763657
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:fsharp
Version: 3.1.1.26+dfsg-1
Severity: serious
Dear Maintainer,
A number of the bootstrap binaries shipped in the F# source package are
not actually shipped as source (they appear to be part of other Git
repositories)
lib/bootstrap/
└── 2.0
├── FSharp.PowerPack.Build.Tasks.dll
├── FSharp.PowerPack.targets
├── FSharp.SRGen.Build.Tasks.dll
├── FSharp.SRGen.targets
├── fslex.exe
├── fssrgen.exe
└── fsyacc.exe
As well as needing to resolve the issue of "bad" binaries in bootstrap,
it would be great to get fsyacc etc packaged properly, as other F#
libraries require them for building.
-- System Information:
Debian Release: jessie/sid
APT prefers trusty-updates
APT policy: (500, 'trusty-updates'), (500, 'trusty-security'), (500,
'trusty'), (100, 'trusty-backports')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.13.0-36-generic (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
--- End Message ---
--- Begin Message ---
Source: fsharp
Source-Version: 3.1.1.26+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 763...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jo Shields <jo.shie...@xamarin.com> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 15 Oct 2014 12:49:07 +0100
Source: fsharp
Binary: fsharp libfsharp-core4.3-cil libfsharp-data-typeproviders4.3-cil
Architecture: source all
Version: 3.1.1.26+dfsg2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian CLI Applications Team
<pkg-cli-apps-t...@lists.alioth.debian.org>
Changed-By: Jo Shields <jo.shie...@xamarin.com>
Description:
fsharp - functional-first programming language - compiler for the CLI
libfsharp-core4.3-cil - functional-first programming language - core runtime
library
libfsharp-data-typeproviders4.3-cil - functional-first programming language -
data integration library
Closes: 763657
Changes:
fsharp (3.1.1.26+dfsg2-1) unstable; urgency=medium
.
* [f28700d] Actually delete unneeded binaries from +dfsg.orig.tar.gz
* [6ffdf50] Include various additional sources from F# Power Pack which
are needed for rebuilding the bootstrap
(Closes: #763657)
* [e41e70e] Forcibly convert fsproj files to UNIX line endings, because
Debian tools go to absolute hell on mixed-ending source trees in git,
and we need to patch them
* [1370647] Imported Upstream version 3.1.1.26+dfsg2
* [537d87b] Compile missing pieces of bootstrap
* [0a73b56] Fix cli-common-dev build-dep to be backport-friendly
* [182eda4] Add bootstrap-required binaries to fsharp binary package
Checksums-Sha1:
e8dd2c64065fed7991b9fe8318709a351149e255 1899 fsharp_3.1.1.26+dfsg2-1.dsc
234faa58d425e7c5a1edd708a126f4c474aa7bf5 11416736
fsharp_3.1.1.26+dfsg2.orig.tar.gz
223314320c98b1cf00c70258ae1df68888b52391 174496
fsharp_3.1.1.26+dfsg2-1.debian.tar.xz
10b42fcb5db01edd40473ab9ee1e0f97551ee075 2853220
fsharp_3.1.1.26+dfsg2-1_all.deb
5145d2cc654a53fd4a4f2713b900fd608137e58b 486356
libfsharp-core4.3-cil_3.1.1.26+dfsg2-1_all.deb
7c10f26b5ca0c23b7838a2a840edd56add793f13 107484
libfsharp-data-typeproviders4.3-cil_3.1.1.26+dfsg2-1_all.deb
Checksums-Sha256:
fc683e9476b7308f4c0b2548e71eef91786065ff42ef1bbbd8ef390458d526d7 1899
fsharp_3.1.1.26+dfsg2-1.dsc
c768dc7f13e0bcd9a9293ba02ced217404961a5931f824d5471d3e4b484ff7b0 11416736
fsharp_3.1.1.26+dfsg2.orig.tar.gz
5916977535d921b73591c60cd14a734ad57a6c171df0b4c884eed67da16e39f1 174496
fsharp_3.1.1.26+dfsg2-1.debian.tar.xz
fd8a5b5c9e11c39927eb5d78165de2d561a4146540fc3e1f7c532e920fb67ba2 2853220
fsharp_3.1.1.26+dfsg2-1_all.deb
1eef8ff88d376894d1f2751cbfb5f4a0e63cf34ae416623885e899c859c82d04 486356
libfsharp-core4.3-cil_3.1.1.26+dfsg2-1_all.deb
89af795ca1fd973caeebc07d29daff0fda8edcaf4e7c691a69c0f85f3d02f5a6 107484
libfsharp-data-typeproviders4.3-cil_3.1.1.26+dfsg2-1_all.deb
Files:
5f2bb26c0c6c79cf858c391bdcf653d9 1899 cli-mono optional
fsharp_3.1.1.26+dfsg2-1.dsc
76a3d69a65951c4917aad32ef0e431f7 11416736 cli-mono optional
fsharp_3.1.1.26+dfsg2.orig.tar.gz
813c88cb01111bafdbac414d0f364165 174496 cli-mono optional
fsharp_3.1.1.26+dfsg2-1.debian.tar.xz
6986986c528a025581fb9ce4b607f05c 2853220 cli-mono optional
fsharp_3.1.1.26+dfsg2-1_all.deb
70569c082cbe91c68c5b2afd802270a3 486356 cli-mono optional
libfsharp-core4.3-cil_3.1.1.26+dfsg2-1_all.deb
95873aea8fd83051bcc04db850a01645 107484 cli-mono optional
libfsharp-data-typeproviders4.3-cil_3.1.1.26+dfsg2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQEcBAEBAgAGBQJUPn3JAAoJEMkPnLkOH60MzbAH/idXsiaE+38ddvHPC8nYnxRn
FQbH//U6m+b/CaLyM0ZHGwDBegnHnaOp+DXHjXzlqwT7Cj/yH2qql8+X5lEWwp47
XmQMjK7OTNasenxnKrBuAKPRZzDspd+K3qi1xoaCAqgTTpzvG15CEJZYk6ntHZEH
cN47YxOv7UCVP7EYcAxb6/d/c+0xYeq2PRjsi+jHdaEGFeE7Rwl/FmTvvtJW4mhj
c5+VR9lKO891qlh9y/XG5GHM4mVr2ytnVzuuTiIEyF1txRN2CPY1GTfybyQPgRXJ
kWLeaV1NeR5ves6pa5MNq8MZCRcFx9Hr7SyF52R/6e6EaAEbmI3V9ZFjq5F/1XY=
=o7GD
-----END PGP SIGNATURE-----
--- End Message ---
