套件：libcoq-interval（4.11.1-1 以及其他的）

libcoq-interval 的相關連結

• eLxr 補丁追蹤網站

下載原始碼套件 coq-interval：

• [coq-interval_4.11.1-1.debian.tar.xz]
• [coq-interval_4.11.1-1.dsc]
• [coq-interval_4.11.1.orig.tar.gz]

維護小組：

• Debian OCaml Maintainers
• Julien Puydt

外部的資源：

• 主頁 [coqinterval.gitlabpages.inria.fr]

相似套件：

• libcoq-gappa
• libcoq-flocq
• libcoq-elpi
• libcoq-stdpp
• libcoq-mtac2
• libcoq-bignums
• libcoq-coqprime
• libcoq-stdlib
• coqprime-tools
• libcoq-corn
• libcoq-reglang

其他與 libcoq-interval 有關的套件

• dep: libcoq-bignums-8bdi7

  本虛擬套件由這些套件填實： libcoq-bignums

• dep: libcoq-coquelicot-0wgj7

  本虛擬套件由這些套件填實： libcoq-coquelicot

• dep: libcoq-flocq-h1gl8

  本虛擬套件由這些套件填實： libcoq-flocq

• dep: libcoq-mathcomp-ssreflect-ga8c0

  本虛擬套件由這些套件填實： libcoq-mathcomp-ssreflect

• dep: libcoq-stdlib-1ns11

  本虛擬套件由這些套件填實： libcoq-stdlib

下載 libcoq-interval