“Simple Theorem Prover” team

Packages in “Simple Theorem Prover”

  1. Simple Theorem Prover
  2. Packages in “Simple Theorem Prover”

This PPA currently publishes packages for Utopic, Trusty, and Precise.

Package totals

The following information is related to the total published packages in the repository (not on your system).

Package counters and estimated archive size temporarily unavailable.

View all builds Package build summary

A total of 18 builds have been created for this PPA.

Completed builds
12 successful
6 failed

Packages

in
1 → 4 of 4 results First • Previous • Next • Last
Source Uploader Published Status Series Section Build Status
cmake - 2.8.9-0ubuntu1~ubuntu12.04.1~ppa2 (changes file) kaijanmaki Published Precise Devel All builds were built successfully.
stp - 1.0+1SNAPSHOT20141101-0~utopic1 (changes file) delcypher Published Utopic Math All builds were built successfully.
stp - 1.0+1SNAPSHOT20141101-0~trusty1 (changes file) delcypher Published Trusty Math All builds were built successfully.
stp - 1.0+1SNAPSHOT20141101-0~precise1 (changes file) delcypher Published Precise Math All builds were built successfully.
1 → 4 of 4 results First • Previous • Next • Last