Debian
boogie package

boogie 2.4.1+dfsg-0.1 source package in Debian

Changelog

boogie (2.4.1+dfsg-0.1) unstable; urgency=medium

  * Non-maintainer upload.
  * New upstream release.
  * Update debian/watch file.
  * Update debian/copyright:
    - New upstream license.
    - Relicense debian/* to match new upstream license (Expat)
      (see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944876#20).
    - Exclude prebuilt Windows binary from the source tree.
  * Update licenses in debian/{boogie,bvd}.1.
  * Change Priority to optional in debian/control.
  * Upgrade to debhelper compat level 12.
  * Update build dependencies (Closes: #927171).
  * Upgrade to Standards-Version 4.4.1.
  * Fix debian/rules to make the new version build.
  * Enable autopkgtest package testing, and add mccarthy-{91,92} tests.
  * Update Vcs-Git and Vcs-Browser fields in debian/control.

 -- Fabian Wolff <email address hidden>  Mon, 16 Dec 2019 14:25:20 +0100

Upload details

Uploaded by:
Benjamin Barenblat
Uploaded to:
Sid
Original maintainer:
Benjamin Barenblat
Architectures:
all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bookworm release main misc
Bullseye release main misc
Sid release main misc

Builds

Downloads

File Size SHA-256 Checksum
boogie_2.4.1+dfsg-0.1.dsc 1.9 KiB 1d5b6e8701b81ca1b22259daaa1b16728de18d5b99c7122c434fbc0d7765853c
boogie_2.4.1+dfsg.orig.tar.xz 1.1 MiB 863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077
boogie_2.4.1+dfsg-0.1.debian.tar.xz 8.9 KiB 3cd9c617d78183b42bacc3a3e40c1c6bbf1eb8ff37d07aa0f84466410b2a4ea9

No changes file available.

Binary packages built by this source