Debian
boogie package

boogie 2.3.0.61016+dfsg+2.gbp4108246-1 source package in Debian

Changelog

boogie (2.3.0.61016+dfsg+2.gbp4108246-1) unstable; urgency=medium

  ** SNAPSHOT build @41082463d783d6f8d8a5aaf69bf459b57bca6000 **

  * New snapshot for Dafny 1.9.7.

 -- Benjamin Barenblat <email address hidden>  Sun, 05 Jun 2016 16:02:41 -0400

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

Builds

Downloads

File Size SHA-256 Checksum
boogie_2.3.0.61016+dfsg+2.gbp4108246-1.dsc 1.7 KiB ddbfb1b1de390f081c906b97a5690a7520a8354a7e81fd4fa87bd60154eaba41
boogie_2.3.0.61016+dfsg+2.gbp4108246.orig.tar.gz 1.8 MiB 1678d3b9f4ca4aceba11b8b0049d427a84629e986d7b9ecb3d5eac7749a950fb
boogie_2.3.0.61016+dfsg+2.gbp4108246-1.debian.tar.xz 8.4 KiB 4194171bd0adb57a93220e03af03d0d2083f7ed9282c5cb057680ea1b98a4f57

No changes file available.

Binary packages built by this source