全部搜尋項
bookworm  ] [  trixie  ] [  sid  ]

原始碼套件:coq-math-classes(8.15.0-4)

coq-math-classes 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
libcoq-math-classes
Abstract interfaces for mathematical structures for Coq

其他與 coq-math-classes 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download coq-math-classes

檔案大小(單位:kB)MD5 校驗碼
coq-math-classes_8.15.0-4.dsc 2。1 kB cff54d56ad0b55a51af3fb9f35b48848
coq-math-classes_8.15.0.orig.tar.gz 164。0 kB dba7c652edd1ea63203cdd33f97fddba
coq-math-classes_8.15.0-4.debian.tar.xz 2。6 kB c6803095fa1bb9ebef357f5c87b6c49a
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/coq-math-classes.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/coq-math-classes