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

原始碼套件:mathcomp-analysis(0.6.0-2)

mathcomp-analysis 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
libcoq-mathcomp-analysis
analysis extension for Mathematical Components

其他與 mathcomp-analysis 有關的套件

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

Download mathcomp-analysis

檔案大小(單位:kB)MD5 校驗碼
mathcomp-analysis_0.6.0-2.dsc 2。3 kB f83f9166df8cdd99c30f96f2b3f0720c
mathcomp-analysis_0.6.0.orig.tar.gz 700。6 kB f033cda83fb712a860ee32d67c1f4542
mathcomp-analysis_0.6.0-2.debian.tar.xz 8。6 kB 830fea42dc494eeaa145277c0b1a9590
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/mathcomp-analysis