Bug#963085: marked as done (ITP: selint -- Static code analysis of refpolicy style SELinux policies)
Your message dated Thu, 06 Aug 2020 10:00:42 +0000
with message-id <E1k3chW-000Aip-Ki@fasolo.debian.org>
and subject line Bug#963085: fixed in selint 1.1.0-1
has caused the Debian Bug report #963085,
regarding ITP: selint -- Static code analysis of refpolicy style SELinux policies
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.)
--
963085: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=963085
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: selint -- Static code analysis of refpolicy style SELinux policies
- From: Christian Göttsche <cgzones@googlemail.com>
- Date: Thu, 18 Jun 2020 19:36:24 +0200
- Message-id: <CAJ2a_DdJjwCQ=sgWkWzu1AP9osGMbHvTta0GzoAwRckin_pPpg@mail.gmail.com>
Package: wnpp
Severity: wishlist
X-Debbugs-CC: selinux-devel@lists.alioth.debian.org
* Package name : selint
Version : 1.1.0
Upstream Author : Daniel Burgener <Daniel.Burgener@microsoft.com>
* URL : https://github.com/TresysTechnology/selint
* License : Apache-2.0
Description : Static code analysis of refpolicy style SELinux policies
SELint is a program to perform static code analysis on SELinux policy
source files.
.
It is designed for refpolicy style policies and supports the standard
SELinux policy language (not CIL).
.
It performs various checks from incorrect filecontext
definitions over missing or superfluous required entries in interfaces
to violations of the refpolicy style guide. All categories can be either
enabled or disabled via the command line or a configuration file.
SELint is going to be maintained by the Debian SELinux maintainers,
see https://salsa.debian.org/selinux-team/selint .
--- End Message ---
--- Begin Message ---
Source: selint
Source-Version: 1.1.0-1
Done: =?utf-8?q?Christian_G=C3=B6ttsche?= <cgzones@googlemail.com>
We believe that the bug you reported is fixed in the latest version of
selint, 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 963085@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Christian Göttsche <cgzones@googlemail.com> (supplier of updated selint 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: SHA256
Format: 1.8
Date: Tue, 19 May 2020 17:10:00 +0200
Source: selint
Binary: selint selint-dbgsym
Architecture: source amd64
Version: 1.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian SELinux maintainers <selinux-devel@lists.alioth.debian.org>
Changed-By: Christian Göttsche <cgzones@googlemail.com>
Description:
selint - Static code analysis of refpolicy style SELinux policies
Closes: 963085
Changes:
selint (1.1.0-1) unstable; urgency=medium
.
* Initial Release. (Closes: #963085)
Checksums-Sha1:
cbda8d041444c7bee98cfd7b4dd09a476b5d13d1 1746 selint_1.1.0-1.dsc
5c6e4438a4348425f2dca284d3fc1cb3ce5f5a2e 283926 selint_1.1.0.orig.tar.gz
cd42cc6e38dda6e3f421054c2f24f95758dcb680 4088 selint_1.1.0-1.debian.tar.xz
517284feb78467bfe1dc2b506280a593a6181204 165940 selint-dbgsym_1.1.0-1_amd64.deb
b3f6cea43ad1c6ec0a81be2242640d5cf21e7e63 5605 selint_1.1.0-1_amd64.buildinfo
7ca1288aaca9efe8f6d6a8e75fdf8f8aa8933787 61244 selint_1.1.0-1_amd64.deb
Checksums-Sha256:
99f7b0c4c98b867b2de353d93e8783ce449c12ed2e671b80182bb52272815706 1746 selint_1.1.0-1.dsc
d3f98a4b597a2f33c60a05ea2b51fc267cbb9592ad9b93faf4ee1dea63bb953c 283926 selint_1.1.0.orig.tar.gz
24d048c121f0fc90fa7ac449af8c241536eff5b15ce740b97a45f51bd73c96a7 4088 selint_1.1.0-1.debian.tar.xz
794eb21e11e2779ea2abd788f9aedfbbd15bc6ca25b7cce41098b4582fa407a4 165940 selint-dbgsym_1.1.0-1_amd64.deb
d4b45defae89205a213d406dcdb4a0a1d04dd233d5970942aa4e5e62cb055077 5605 selint_1.1.0-1_amd64.buildinfo
3344f173bd775a935ee38e5fb7ae479f82689fa4b2f7773f1f32b19ff0157a05 61244 selint_1.1.0-1_amd64.deb
Files:
5acccae5715ec5c6b360eeddba026d40 1746 devel optional selint_1.1.0-1.dsc
80f4361d11c49a2c85c95376d2fb5b1d 283926 devel optional selint_1.1.0.orig.tar.gz
15608ab3968b5e22c4e033f4e029dc10 4088 devel optional selint_1.1.0-1.debian.tar.xz
d699b38fa922340b07ca4d12179b9f61 165940 debug optional selint-dbgsym_1.1.0-1_amd64.deb
687261aa4f7b7cb1f4523ff95bc5999e 5605 devel optional selint_1.1.0-1_amd64.buildinfo
6f53085de9b5edafa231e7eca078fc25 61244 devel optional selint_1.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQFDBAEBCAAtFiEEmRrdqQAhuF2x31DwH8WJHrqwQ9UFAl8hLUQPHGJpZ29uQGJp
Z29uLmJlAAoJEB/FiR66sEPVIx8H/A0JYPpCFvyOb1QET6clkfTvpEY0pdJhbZ5F
+ZLlQXLCZ/J35k02rfWu47UgWpOZdQH3KrhGGJaiMB5j1cV0WSYPw6auXd4u4c+z
LSwvUNgin3bUGHcdG2nboZmf9DwwMpMMxJxuo2CNGR5MNArUzs2ww3K/UMXEFLpY
VzTd/1GiMMKR00G2xricK3S8Z5wXXfZ66hsSoPlpZKFss6v8t/bRupJvhDGZFOvS
aXn+0feiAlTyVhPU3f/YEjWh6GNiHsd9kqIsSLdvyxyqG6bSArfQ4gKRjL2s6OE+
Js2haYHOExXkJGoKn3KyWMppa4KI358LNlJWGJ1ySCXM5iugyoE=
=Cflh
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: