tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]

Kaynak Paket: coq-deriving (0.2.0-2)

coq-deriving için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
libcoq-deriving
deriving MathComp classes from inductive types

coq-deriving ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download coq-deriving

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
coq-deriving_0.2.0-2.dsc 2,1 kB e8489d99850585fe83bbd19d58f44d77
coq-deriving_0.2.0.orig.tar.gz 30,7 kB 61a2c3d7331ecc19a87b3c596b0f12be
coq-deriving_0.2.0-2.debian.tar.xz 2,1 kB 3a761c9d1d782ad0abe516bd0592da64
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-deriving.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/ocaml-team/coq-deriving