all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: mathcomp-analysis (0.6.0-2)

Links for mathcomp-analysis

Debian Resources:

Maintainers:

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
libcoq-mathcomp-analysis
analysis extension for Mathematical Components

Інші пакунки пов'язані з mathcomp-analysis

  • build-depends
  • build-depends-indep

Download mathcomp-analysis

ФайлРозмір (в кБ)MD5 checksum
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 Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/mathcomp-analysis