camlp4 - 4.02.1+3-2~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
camlp4 - 4.02.1+3-2~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
camlp5 - 6.16-1~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
camlp5 - 6.16-1~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
coq-8.17.0 - 8.17.0-1~lunar~ppa200
|
(changes file)
|
|
Published |
Lunar |
Math |
amd64
|
|
coq-8.17.0 - 8.17.0-1~jammy~ppa200
|
(changes file)
|
|
Published |
Jammy |
Math |
amd64
|
|
coq-8.17.1 - 8.17.1-1~lunar~ppa200
|
(changes file)
|
|
Published |
Lunar |
Math |
amd64
|
|
coq-8.17.1 - 8.17.1-1~jammy~ppa200
|
(changes file)
|
|
Published |
Jammy |
Math |
amd64
|
|
coq-8.5 - 8.5-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5 - 8.5-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5 - 8.5-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5 - 8.5-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5 - 8.5-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5 - 8.5-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5 - 8.5-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
amd64
i386
|
|
coq-8.5beta1 - 8.5~beta1-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5beta1 - 8.5~beta1-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5beta1 - 8.5~beta1-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5beta1 - 8.5~beta1-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5beta1 - 8.5~beta1-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5beta1 - 8.5~beta1-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5beta1 - 8.5~beta1-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
amd64
i386
|
|
coq-8.5beta2 - 8.5~beta2-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5beta2 - 8.5~beta2-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5beta2 - 8.5~beta2-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5beta2 - 8.5~beta2-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5beta2 - 8.5~beta2-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5beta2 - 8.5~beta2-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5beta2 - 8.5~beta2-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
amd64
i386
|
|
coq-8.5beta3 - 8.5~beta3-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5beta3 - 8.5~beta3-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5beta3 - 8.5~beta3-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5beta3 - 8.5~beta3-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5beta3 - 8.5~beta3-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5beta3 - 8.5~beta3-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5beta3 - 8.5~beta3-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
amd64
i386
|
|
coq-8.5pl1 - 8.5pl1-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5pl1 - 8.5pl1-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5pl1 - 8.5pl1-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5pl1 - 8.5pl1-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5pl1 - 8.5pl1-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5pl1 - 8.5pl1-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5pl1 - 8.5pl1-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.5pl2 - 8.5pl2-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5pl2 - 8.5pl2-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5pl2 - 8.5pl2-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5pl2 - 8.5pl2-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5pl2 - 8.5pl2-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5pl2 - 8.5pl2-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5pl2 - 8.5pl2-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.5pl3 - 8.5pl3-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5pl3 - 8.5pl3-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5pl3 - 8.5pl3-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5pl3 - 8.5pl3-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5pl3 - 8.5pl3-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5pl3 - 8.5pl3-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5pl3 - 8.5pl3-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.5rc1 - 8.5~rc1-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.5rc1 - 8.5~rc1-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.5rc1 - 8.5~rc1-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.5rc1 - 8.5~rc1-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.5rc1 - 8.5~rc1-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.5rc1 - 8.5~rc1-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.5rc1 - 8.5~rc1-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
amd64
i386
|
|
coq-8.6 - 8.6-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.6 - 8.6-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.6 - 8.6-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.6 - 8.6-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.6 - 8.6-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
amd64
|
|
coq-8.6 - 8.6-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
amd64
|
|
coq-8.6 - 8.6-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.6.1 - 8.6.1-1~xenial~ppa158
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.6.1 - 8.6.1-1~trusty~ppa158
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.6.1 - 8.6.1-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.6.1 - 8.6.1-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|