|
i386 build of coq 8.11~git~202005141924+20976-0~daily330-07fa380~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202005141922+20976-0~daily330-07fa380~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~202005141924+20976-0~daily333-07fa380~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202005141924+20976-0~daily330-07fa380~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu18.04.1 in ubuntu bionic 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 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
|
|
i386 build of coq 8.11~git~202005131322+20975-0~daily333-ebf789e~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202005131322+20975-0~daily333-ebf789e~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
i386 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202005131322+20975-0~daily330-ebf789e~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~202005131322+20975-0~daily330-ebf789e~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~202005131322+20975-0~daily330-ebf789e~ubuntu19.10.1 in ubuntu eoan 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 trusty
|
|
~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 precise
|
|
amd64 build of coq 8.11~git~202005121322+20961-0~daily330-f8178c4~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202005121321+20961-0~daily330-f8178c4~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
amd64 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~202005121322+20961-0~daily330-f8178c4~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
~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 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 precise
|
|
amd64 build of coq 8.11~git~202005111324+20951-0~daily330-484bb2f~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202005111324+20951-0~daily330-484bb2f~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu18.04.1 in ubuntu bionic RELEASE
|
|
amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.11~git~202005111324+20951-0~daily330-484bb2f~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu focal
|
|
~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
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu eoan
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
|
|
i386 build of coq 8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1 in ubuntu disco RELEASE
|
|
amd64 build of coq 8.11~git~202004061713+20950-0~daily330-f40839e~ubuntu20.04.1 in ubuntu focal RELEASE
|
|
amd64 build of coq 8.11~git~202004061720+20950-0~daily330-f40839e~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202004061716+20950-0~daily333-f40839e~ubuntu12.04.1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.11~git~202004061720+20950-0~daily330-f40839e~ubuntu19.10.1 in ubuntu eoan RELEASE
|
|
amd64 build of coq 8.11~git~202004061722+20950-0~daily333-f40839e~ubuntu16.04.1 in ubuntu xenial RELEASE
|
|
amd64 build of coq 8.11~git~202004061719+20950-0~daily333-f40839e~ubuntu14.04.1 in ubuntu trusty RELEASE
|
|
i386 build of coq 8.11~git~202004061716+20950-0~daily333-f40839e~ubuntu12.04.1 in ubuntu precise RELEASE
|