|
i386 build of coq 8.11~git~201911301352+20818-0~daily329-54ddab0~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~201911301352+20818-0~daily329-54ddab0~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~201911301353+20818-0~daily329-54ddab0~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~201911301352+20818-0~daily329-54ddab0~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~201911301353+20818-0~daily326-54ddab0~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
i386 build of coq 8.11~git~201911301352+20818-0~daily326-54ddab0~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911301352+20818-0~daily326-54ddab0~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911301352+20818-0~daily329-54ddab0~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911301352+20818-0~daily329-54ddab0~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911301352+20818-0~daily329-54ddab0~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu trusty
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu disco
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu eoan
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
amd64 build of coq 8.11~git~201911291352+20812-0~daily329-4c26871~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~201911291352+20812-0~daily329-4c26871~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~201911291352+20812-0~daily326-4c26871~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~201911291354+20812-0~daily329-4c26871~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~201911291352+20812-0~daily329-4c26871~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~201911291354+20812-0~daily329-4c26871~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~201911291352+20812-0~daily329-4c26871~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~201911291352+20812-0~daily326-4c26871~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911291353+20812-0~daily326-4c26871~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~201911291352+20812-0~daily329-4c26871~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~201911291353+20812-0~daily329-4c26871~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911291353+20812-0~daily329-4c26871~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911291352+20812-0~daily329-4c26871~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu eoan
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu disco
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu trusty
|
|
amd64 build of coq 8.11~git~201911281352+20806-0~daily326-622976c~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911281353+20806-0~daily329-622976c~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~201911281352+20806-0~daily326-622976c~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911281352+20806-0~daily326-622976c~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
i386 build of coq 8.11~git~201911281353+20806-0~daily329-622976c~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911281352+20806-0~daily329-622976c~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu eoan
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu disco
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu trusty
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
amd64 build of coq 8.11~git~201911271352+20799-0~daily329-1893389~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~201911271351+20799-0~daily329-1893389~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~201911271352+20799-0~daily329-1893389~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~201911271352+20799-0~daily329-1893389~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~201911271352+20799-0~daily329-1893389~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~201911271351+20799-0~daily326-1893389~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911271352+20799-0~daily326-1893389~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~201911271351+20799-0~daily326-1893389~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~201911271352+20799-0~daily329-1893389~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~201911271351+20799-0~daily329-1893389~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911271351+20799-0~daily329-1893389~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~201911271352+20799-0~daily329-1893389~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~201911271351+20799-0~daily329-1893389~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu trusty
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu disco
|