Bug#907985: ITP: morbig -- Parser for POSIX shell scripts

2018-09-04 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morbig Version : 0.9 Upstream Author : Yann RĂ©gis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morbig * License : GPL3 Programming Lang: OCaml Description

ocaml-qcheck_0.8-1_amd64.changes ACCEPTED into unstable, unstable

2018-09-04 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 15 Aug 2018 10:14:09 +0800 Source: ocaml-qcheck Binary: libqcheck-ocaml libqcheck-ocaml-dev libqcheck-ocaml-doc Architecture: source amd64 all Version: 0.8-1 Distribution: unstable Urgency: medium Maintainer: Debi

ocaml-sedlex_1.99.4-1_amd64.changes ACCEPTED into unstable, unstable

2018-09-04 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 06 Aug 2018 11:36:25 +0800 Source: ocaml-sedlex Binary: libsedlex-ocaml libsedlex-ocaml-dev Architecture: source amd64 Version: 1.99.4-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Ch

Bug#907959: ben: Can only filter fields listed in query -s option

2018-09-04 Thread Shengjing Zhu
Source: ben Version: 0.8.2 Severity: wishlist Dear Maintainer, While I'm playing around ben, I found following command shows nothing, ben query -s Source ".built-using ~ /golang-1.\d\b/" /var/lib/apt/lists/xxx_unstable_main_binary-amd64_Packages But it will show expected results with followin

RFH: frama-c -- Platform dedicated to the analysis of source code written in C

2018-09-04 Thread Mehdi Dogguy
Package: wnpp Severity: normal Hi all, Frama-c is a great tool to perform static analysis on source code written in C (... write your own analysis plugins and many other neat features). But it requires time to maintain it properly. I do not have that time anymore and I do not use Frama-c any