Back to coccinelle PTS page

Accepted coccinelle 1.1.1.deb-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 08 Aug 2023 09:26:45 +0200
Source: coccinelle
Architecture: source
Version: 1.1.1.deb-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 coccinelle (1.1.1.deb-3) unstable; urgency=medium
 .
   [ Stéphane Glondu ]
   * Team upload
   * Bump Standards-Version to 4.6.2
 .
   [ Debian Janitor ]
   * Remove constraints unnecessary since buster (oldstable):
     + Build-Depends: Drop versioned constraint on dh-ocaml (>= 1.0.3~).
     + Build-Depends: Drop versioned constraint on libmenhir-ocaml-dev (>=
       20090204.dfsg).
     + Build-Depends: Drop versioned constraint on libparmap-ocaml-dev (>=
       1.0~rc4-5~).
     + Build-Depends: Drop versioned constraint on menhir (>= 20090204.dfsg).
     + Build-Depends: Drop versioned constraint on ocaml-nox (>= 3.11.1-3~).
     + Build-Depends: Drop versioned constraint on pkg-config (>= 0.9.0).
     + coccinelle: Drop dependency on essential package dpkg (>= 1.17.14) in
       Pre-Depends.
     + coccinelle-doc: Drop conflict with removed package coccinelle (<<
       1.0.0~rc7.deb-4) in Replaces.
     + coccinelle-doc: Drop conflict with removed package coccinelle (<<
       1.0.0~rc7.deb-4) in Breaks.
     + Remove 1 maintscript entries from 1 files.
Checksums-Sha1:
 9b95880945ae3dceca1223cac7c4bdb70f9d8a76 2210 coccinelle_1.1.1.deb-3.dsc
 07ab02727de266fcc83a664ada7ba4457e5adbe4 12296 coccinelle_1.1.1.deb-3.debian.tar.xz
Checksums-Sha256:
 3860e0d0b18bd8fb8e033fbd795a60cab46122b72517c90c44f6899be7127d81 2210 coccinelle_1.1.1.deb-3.dsc
 53c82a07bde5795e9876be58ab1209049e28f87e1a2b2126232aace8bba79875 12296 coccinelle_1.1.1.deb-3.debian.tar.xz
Files:
 c40a6d83fdd9ee26f9c663791570ea21 2210 devel optional coccinelle_1.1.1.deb-3.dsc
 9b652165899bd37d1cfaf11a544f5a84 12296 devel optional coccinelle_1.1.1.deb-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTR8BQSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBceMH/RInRFbDzYeLj+EYhuA4U8GUObRsy/tr
3/y/iJ0cGsPiX+C41+69WeQZErEUSb59mESkkKKAPSX9AZ/K0KRT6jrVx5k0aivq
aYK7hcdoTmbUoOxEOr9LElOQk+SsSFc1Scuu9D5Bys6XukSFolBXnlk+qrzsT1xT
Cdo9QZ2mHmjcdlKWKEwCv5A7/wgSormUrGfPOGs72VlFu0R89IoMmXgTluBsRhYo
Twrx9TuWau7Y5ilfw3aZb0PpUt4I4Z+eztLZ8GPLJrHouDnIziycaWfbA6Movgc4
iNX/Y+xQBcAZlclyYtnZzAOeqcDkYybMCilVzwgPwKTV6fRkdsHjzPI=
=T9y3
-----END PGP SIGNATURE-----