Jason Gross

Builds for Coq Daily Builds (v8.15)

  1. Coq Daily Builds (v8.15)
  2. Builds
Package:
1 → 75 of 129 results First • Previous • • Last
[FULLYBUILT] amd64 build of coq 8.15~git~202211272218+22919-0~daily369-a0a9a522a1~ubuntu22.10.1 in ubuntu kinetic RELEASE
Build started on lcy02-amd64-061 and finished taking 13 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211272218+22919-0~daily369-a0a9a522a1~ubuntu23.04.1 in ubuntu lunar RELEASE
Build started on lcy02-amd64-036 and finished taking 12 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211272218+22919-0~daily369-a0a9a522a1~ubuntu22.04.1 in ubuntu jammy RELEASE
Build started on lcy02-amd64-052 and finished taking 12 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu jammy
Build started on lcy02-amd64-007 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu kinetic
Build started on lcy02-amd64-045 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu lunar
Build started on lcy02-amd64-012 and finished taking 4 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-061 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily368-a0a9a522a1~ubuntu23.04.1 in ubuntu lunar RELEASE
Build started on lcy02-amd64-014 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily368-a0a9a522a1~ubuntu22.10.1 in ubuntu kinetic RELEASE
Build started on lcy02-amd64-108 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-036 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily368-a0a9a522a1~ubuntu22.04.1 in ubuntu jammy RELEASE
Build started on lcy02-amd64-007 and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy02-amd64-113 and finished taking 12 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy02-amd64-040 and finished taking 12 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy02-amd64-052 and finished taking 12 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy02-amd64-012 and finished taking 12 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211262218+22919-0~daily356-a0a9a522a1~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy02-amd64-010 and finished taking 12 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu jammy
Build started on lcy02-amd64-080 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu lunar
Build started on lcy02-amd64-067 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu kinetic
Build started on lcy02-amd64-073 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lcy02-amd64-108 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lcy02-amd64-052 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lcy02-amd64-010 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lcy02-amd64-027 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211111518+22919-0~daily368-a0a9a522a1~ubuntu22.04.1 in ubuntu jammy RELEASE
Build started on lcy02-amd64-106 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211111518+22919-0~daily368-a0a9a522a1~ubuntu23.04.1 in ubuntu lunar RELEASE
Build started on lcy02-amd64-028 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202211111518+22919-0~daily368-a0a9a522a1~ubuntu22.10.1 in ubuntu kinetic RELEASE
Build started on lcy02-amd64-114 and finished taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu jammy
Build started on lcy02-amd64-101 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu lunar
Build started on lcy02-amd64-022 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu kinetic
Build started on lcy02-amd64-067 and finished taking 4 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206271719+22919-0~daily356-a0a9a522a1~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-019 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271719+22919-0~daily368-a0a9a522a1~ubuntu22.04.1 in ubuntu jammy RELEASE
Build started on lcy02-amd64-083 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271719+22919-0~daily356-a0a9a522a1~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-025 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271719+22919-0~daily368-a0a9a522a1~ubuntu22.10.1 in ubuntu kinetic RELEASE
Build started on lcy02-amd64-105 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271719+22919-0~daily368-a0a9a522a1~ubuntu21.10.1 in ubuntu impish RELEASE
Build started on lcy02-amd64-049 and finished taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206271719+22919-0~daily356-a0a9a522a1~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy02-amd64-039 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271719+22919-0~daily356-a0a9a522a1~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy02-amd64-059 and finished taking 13 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271719+22919-0~daily356-a0a9a522a1~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy02-amd64-065 and finished taking 13 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206271718+22919-0~daily356-a0a9a522a1~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy02-amd64-017 and finished taking 12 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206271718+22919-0~daily356-a0a9a522a1~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy02-amd64-069 and finished taking 12 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu kinetic
Build started on lcy02-amd64-003 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu jammy
Build started on lcy02-amd64-108 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu impish
Build started on lcy02-amd64-106 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lcy02-amd64-049 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lcy02-amd64-072 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lcy02-amd64-075 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lcy02-amd64-039 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232326+22918-0~daily368-4341b63bdb~ubuntu22.10.1 in ubuntu kinetic RELEASE
Build started on lgw01-amd64-023 and finished taking 55 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232325+22918-0~daily368-4341b63bdb~ubuntu22.04.1 in ubuntu jammy RELEASE
Build started on lgw01-amd64-025 and finished taking 26 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-010 and finished taking 21 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-049 and finished taking 20 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-003 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-002 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232325+22918-0~daily368-4341b63bdb~ubuntu21.10.1 in ubuntu impish RELEASE
Build started on lcy02-amd64-101 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy02-amd64-071 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy02-amd64-081 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206232326+22918-0~daily356-4341b63bdb~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy02-amd64-051 and finished taking 13 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu kinetic
Build started on lgw01-amd64-050 and finished taking 12 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu jammy
Build started on lgw01-amd64-004 and finished taking 9 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lcy02-amd64-107 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lcy02-amd64-050 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lcy02-amd64-032 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lcy02-amd64-062 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu impish
Build started on lgw01-amd64-034 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206221849+22916-0~daily368-d59a7dc986~ubuntu22.10.1 in ubuntu kinetic RELEASE
Build started on lcy02-amd64-068 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206221849+22916-0~daily368-d59a7dc986~ubuntu22.04.1 in ubuntu jammy RELEASE
Build started on lcy02-amd64-039 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206221849+22916-0~daily368-d59a7dc986~ubuntu21.10.1 in ubuntu impish RELEASE
Build started on lcy02-amd64-031 and finished taking 15 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu impish
Build started on lgw01-amd64-031 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu kinetic
Build started on lcy02-amd64-042 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu jammy
Build started on lcy02-amd64-072 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-111 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy02-amd64-046 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206131622+22916-0~daily367-d59a7dc986~ubuntu21.10.1 in ubuntu impish RELEASE
Build started on lcy02-amd64-070 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy02-amd64-082 and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy02-amd64-083 and finished taking 13 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy02-amd64-019 and finished taking 12 minutes — see the log
1 → 75 of 129 results First • Previous • • Last