Publishing details

• Published on 2021-01-07

Changelog

vampire-src (4.5.1-3.20.4) focal; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Thu, 07 Jan 2021 05:11:40 +0100

Builds

• amd64

Built packages

• vampire Theorem Prover Vampire.

Package files

• vampire-src_4.5.1-3.20.4.debian.tar.xz (1.9 KiB)
• vampire-src_4.5.1-3.20.4.dsc (1.4 KiB)
• vampire-src_4.5.1.orig.tar.gz (1.7 MiB)
• vampire_4.5.1-3.20.4_amd64.deb (2.7 MiB)