delcypher

Builds for playground

  1. playground
  2. Builds
Package:
1 → 3 of 3 results First • Previous • Next • Last
[FULLYBUILT] i386 build of cvc4 1.3-1ubuntu3~trusty1 in ubuntu trusty RELEASE
Build started on lcy01-16 and finished taking 29 minutes — see the log
[FULLYBUILT] amd64 build of cvc4 1.3-1ubuntu3~trusty1 in ubuntu trusty RELEASE
Build started on lcy01-01 and finished taking 28 minutes — see the log
[FULLYBUILT] i386 build of cvc4 1.3-1ubuntu2~trusty1 in ubuntu trusty RELEASE
Build started on lgw01-15 and finished taking 22 minutes — see the log
1 → 3 of 3 results First • Previous • Next • Last