|
i386 build of coq 8.11~git~202003311543+20940-0~daily333-6aec530~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202003311546+20940-0~daily333-6aec530~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
amd64 build of coq 8.11~git~202003311540+20940-0~daily330-6aec530~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003311543+20940-0~daily333-6aec530~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202003311533+20940-0~daily333-6aec530~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202003311535+20940-0~daily333-6aec530~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~202003311546+20940-0~daily333-6aec530~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~202003311533+20940-0~daily333-6aec530~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202003311540+20940-0~daily333-6aec530~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202003311535+20940-0~daily330-6aec530~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu disco
|
|
~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 trusty
|
|
~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 precise
|
|
amd64 build of coq 8.11~git~202003282112+20938-0~daily333-993b698~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
amd64 build of coq 8.11~git~202003282113+20938-0~daily333-993b698~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202003282111+20938-0~daily330-993b698~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003282110+20938-0~daily330-993b698~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
i386 build of coq 8.11~git~202003282112+20938-0~daily333-993b698~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~202003282113+20938-0~daily333-993b698~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~202003282111+20938-0~daily330-993b698~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~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 eoan
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
i386 build of coq 8.11~git~202003272015+20936-0~daily330-ce6bbee~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003272015+20936-0~daily330-ce6bbee~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
amd64 build of coq 8.11~git~202003272014+20936-0~daily330-ce6bbee~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202003272016+20936-0~daily333-ce6bbee~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202003272015+20936-0~daily333-ce6bbee~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
i386 build of coq 8.11~git~202003272016+20936-0~daily333-ce6bbee~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
~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 trusty
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu disco
|
|
amd64 build of coq 8.11~git~202003262013+20933-0~daily330-8d0f004~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003262015+20933-0~daily330-8d0f004~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
i386 build of coq 8.11~git~202003262014+20933-0~daily333-8d0f004~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202003262013+20933-0~daily333-8d0f004~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202003262013+20933-0~daily333-8d0f004~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202003262013+20933-0~daily330-8d0f004~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003262014+20933-0~daily333-8d0f004~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~202003262013+20933-0~daily333-8d0f004~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202003262013+20933-0~daily333-8d0f004~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~202003262013+20933-0~daily333-8d0f004~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~202003262013+20933-0~daily333-8d0f004~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu trusty
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu eoan
|
|
amd64 build of coq 8.11~git~202003230456+20930-0~daily330-fcb225c~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
i386 build of coq 8.11~git~202003230456+20930-0~daily333-fcb225c~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202003230456+20930-0~daily333-fcb225c~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~202003230456+20930-0~daily333-fcb225c~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202003230456+20930-0~daily333-fcb225c~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202003230456+20930-0~daily330-fcb225c~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202003230456+20930-0~daily333-fcb225c~ubuntu18.04.1 in ubuntu bionic RELEASE
|