Bug#846448: marked as done (splint: add libfl-dev to Build-Depends)
Your message dated Thu, 01 Dec 2016 13:52:40 +0000
with message-id <E1cCRmy-000BXL-9k@fasolo.debian.org>
and subject line Bug#846448: fixed in splint 3.1.2.dfsg1-4
has caused the Debian Bug report #846448,
regarding splint: add libfl-dev to Build-Depends
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 owner@bugs.debian.org
immediately.)
--
846448: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=846448
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: splint
Severity: important
User: helmutg@debian.org
Usertags: libfldep
splint will soon fail to build from source, beause flex drops its
dependency on libfl-dev. Since splint uses parts of libfl-dev (e.g.
libl.a, libfl.a or FlexLexer.h), it should add libfl-dev to its
Build-Depends. This change was previously announced[1] to
debian-devel in accordance with DevRef 7.1.1. Please add the missing
dependency.
Helmut
[1] https://lists.debian.org/debian-devel/2016/03/msg00162.html
--- End Message ---
--- Begin Message ---
Source: splint
Source-Version: 3.1.2.dfsg1-4
We believe that the bug you reported is fixed in the latest version of
splint, 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 846448@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Helmut Grohne <helmut@subdivi.de> (supplier of updated splint 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 01 Dec 2016 14:19:06 +0100
Source: splint
Binary: splint splint-data splint-doc-html
Architecture: source
Version: 3.1.2.dfsg1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Helmut Grohne <helmut@subdivi.de>
Description:
splint - tool for statically checking C programs for bugs
splint-data - tool for statically checking C programs for bugs - data files
splint-doc-html - tool for statically checking C programs for bugs - HTML documenta
Closes: 846448
Changes:
splint (3.1.2.dfsg1-4) unstable; urgency=medium
.
* QA upload.
* Add libfl-dev to Build-Depends. (Closes: #846448)
* Mark split-{data,doc-html} Multi-Arch: foreign.
Checksums-Sha1:
e7f54bc22fc19e4eb02fe5197a210d8635bebdd5 2007 splint_3.1.2.dfsg1-4.dsc
fa96e2921c6ee445591d27cbde41f4ec63d57ef0 23184 splint_3.1.2.dfsg1-4.debian.tar.xz
Checksums-Sha256:
659fe9576147c042c9af85aa3f23aba7423bccc5180c4bd035b1e35bbfd65e83 2007 splint_3.1.2.dfsg1-4.dsc
7db10558081d1f4a705d98090c820cc64b3157c5572120775237c4fa92f2775c 23184 splint_3.1.2.dfsg1-4.debian.tar.xz
Files:
2a12854fb6973a5164ca0f8c3ed415d3 2007 devel optional splint_3.1.2.dfsg1-4.dsc
382dd42fccce2d341cff4ccb2780c9fa 23184 devel optional splint_3.1.2.dfsg1-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJYQCOjAAoJEC0aqs8kRERCNoQP/R7B6hzqrDT6iJ7EwOd3p5Hp
tOD5jCGF5rMj2UAGnBVTilrmQJlDN6n8BNbBLlc38J25m9f07ZVu30Kns0BhCcSP
RjYOK0ZCqFTWJVMyOzn9S+X80IlWe4JMQyFQgFANdtG6aPWrKkCwqe7Uoo9boTSj
yREifbytB6Zwya+hCaDymSwK3Seut79k8yBz61pHKrjPH2LqB/DvgyBBH8Lz6GOP
yDKxuxzVNLL6AOLinqM+jTMi/cjVJkNnKAmeoh7Mvw9G1Wetq15KMnojCJGIkxaY
LrnAKesoT3JQ8Y+8wVK70c4oMD2DVHP77IFv83Ebr/+chhOXwPxFddmkBHFhNsbt
x8H+i2pYD4MczbIsPluQUouxpR2ezY5Nnz1chGaiqa4l2c1yWBaCbIcAjdQyHhn4
OPrSHcxzpRn8afnZAyjgKREf0vUwWFQMSJedfpL7evFwDRFr/4KMEagPjc+OfTcB
X95Xqv9sPUPmo+v0FhKiMXChKQB5CxoEZ3PIA1OgIC1gUg0wkD8ORdugu3wiVugz
vKRNcTlL44ku5zO2X2twGDnaI9S6kFBn3RbnO4kzhL+YAgpCMysRMas21gknlOh2
vfgC+4p3E2T/TeGWe1MFFFUfXSrvFZD9cZJYhASMHr7Cxi0s56fa06gLFV+Zwuom
PJsfkiy79qjaGBAOSadT
=6SYx
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: