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

原始碼套件:coq-record-update(0.3.1-2)

coq-record-update 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
libcoq-record-update
automatic record fields updaters for Coq

其他與 coq-record-update 有關的套件

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

Download coq-record-update

檔案大小(單位:kB)MD5 校驗碼
coq-record-update_0.3.1-2.dsc 2。1 kB 42967143387b85522b6cc8187e3a4a96
coq-record-update_0.3.1.orig.tar.gz 13。2 kB beddb631abb92a10c87d80799ca66e2f
coq-record-update_0.3.1-2.debian.tar.xz 1。8 kB a131d4fade278b70173832c924077fc8
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/coq-record-update.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/coq-record-update