Publishing details

• Published on 2013-07-16

Changelog

leo2 (1.6.0-1ubuntu0~lucid) lucid; urgency=low

  * Initial release
 -- Jonathan von Schroeder <email address hidden>   Sun, 14 Jul 2013 05:31:08 -0700

Builds

• amd64
• i386

Built packages

• leo2 Higher-order theorem prover

Package files

• leo2_1.6.0-1ubuntu0~lucid.debian.tar.gz (3.1 KiB)
• leo2_1.6.0-1ubuntu0~lucid.dsc (1.4 KiB)
• leo2_1.6.0-1ubuntu0~lucid_amd64.deb (773.0 KiB)
• leo2_1.6.0-1ubuntu0~lucid_i386.deb (581.8 KiB)
• leo2_1.6.0.orig.tar.gz (242.9 KiB)