všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]

Zdrojový balík: coq-corn (8.18.0-1)

Odkazy pre coq-corn

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
libcoq-corn
Coq Constructive Repository at Nijmegen

Ostatné balíky súvisiace s balíkom coq-corn

  • build-depends
  • build-depends-indep

Download coq-corn

SúborVeľkosť (v kB)kontrolný súčet MD5
coq-corn_8.18.0-1.dsc 2.0 kB cd6c02150cb1ec2ec481c224bab49804
coq-corn_8.18.0.orig.tar.gz 1,289.1 kB f41418c9405fa9c3937c7f7611eb2206
coq-corn_8.18.0-1.debian.tar.xz 4.0 kB ba348ad6828f4d10d9eb290bef55dbf6
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-corn.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/ocaml-team/coq-corn