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

Kaynak Paket: coq-libhyps (2.0.8-3)

coq-libhyps için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
libcoq-libhyps
Tactics on hypotheses in Coq

coq-libhyps ile İlgili Diğer Paketler

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

Download coq-libhyps

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
coq-libhyps_2.0.8-3.dsc 2,0 kB fed8b9fe525db1ba50265f47435236b7
coq-libhyps_2.0.8.orig.tar.gz 36,4 kB ca5263992fcd5f55211991f55a2d3c73
coq-libhyps_2.0.8-3.debian.tar.xz 2,1 kB afc2104f705b690c65dac2a339730e8a
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-libhyps.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/ocaml-team/coq-libhyps