coq-8.8.2 - 8.8.2-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.8.2 - 8.8.2-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.8.2 - 8.8.2-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
|
|
coq-8.8.2 - 8.8.2-1~focal~ppa158
|
(changes file)
|
|
Published |
Focal |
Math |
|
|
coq-8.8.2 - 8.8.2-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.9+beta1 - 8.9~beta1-1~xenial~ppa159
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.9+beta1 - 8.9~beta1-1~trusty~ppa159
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.9+beta1 - 8.9~beta1-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.9+beta1 - 8.9~beta1-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.9+beta1 - 8.9~beta1-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
|
|
coq-8.9+beta1 - 8.9~beta1-1~focal~ppa159
|
(changes file)
|
|
Published |
Focal |
Math |
|
|
coq-8.9+beta1 - 8.9~beta1-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.9.0 - 8.9.0-1~xenial~ppa159
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.9.0 - 8.9.0-1~trusty~ppa159
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.9.0 - 8.9.0-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.9.0 - 8.9.0-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.9.0 - 8.9.0-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
|
|
coq-8.9.0 - 8.9.0-1~focal~ppa159
|
(changes file)
|
|
Published |
Focal |
Math |
|
|
coq-8.9.0 - 8.9.0-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
coq-8.9.1 - 8.9.1-1~xenial~ppa159
|
(changes file)
|
|
Published |
Xenial |
Math |
|
|
coq-8.9.1 - 8.9.1-1~trusty~ppa159
|
(changes file)
|
|
Published |
Trusty |
Math |
|
|
coq-8.9.1 - 8.9.1-1~precise~ppa158
|
(changes file)
|
|
Published |
Precise |
Math |
|
|
coq-8.9.1 - 8.9.1-1~hirsute~ppa158
|
(changes file)
|
|
Published |
Hirsute |
Math |
amd64
|
|
coq-8.9.1 - 8.9.1-1~groovy~ppa158
|
(changes file)
|
|
Published |
Groovy |
Math |
|
|
coq-8.9.1 - 8.9.1-1~focal~ppa159
|
(changes file)
|
|
Published |
Focal |
Math |
|
|
coq-8.9.1 - 8.9.1-1~bionic~ppa158
|
(changes file)
|
|
Published |
Bionic |
Math |
|
|
findlib - 1.6.2-1~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
findlib - 1.6.2-1~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
hevea - 2.28-1~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Tex |
|
|
hevea - 2.28-1~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Tex |
|
|
lablgl - 1:1.05-2~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
lablgl - 1:1.05-2~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
lablgtk2 - 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
lablgtk2 - 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
labltk - 8.06.0+dfsg-3~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
labltk - 8.06.0+dfsg-3~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
libiberty - 20141014-1~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Libdevel |
|
|
ocaml - 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Ocaml |
|
|
ocaml - 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Ocaml |
|
|
ocamlgraph - 1.8.6-1build2~ubuntu14.04.1~ppa1
|
(changes file)
|
|
Published |
Trusty |
Libdevel |
|
|
ocamlgraph - 1.8.6-1build2~ubuntu12.04.1~ppa1
|
(changes file)
|
|
Published |
Precise |
Libdevel |
|
|