[ bookworm ] [ trixie ] [ forky ] [ sid ] [ experimental ]

Kaynak Paket: mathcomp-finmap (2.2.2-2)

mathcomp-finmap için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Deneysel paket

Uyarı: Bu paket deneysel dağıtımdan geliyor. Bu, paketin kararsız veya hatalı olabileceği hatta veri kaybına sebep olabileceği anlamına gelmektedir. Lütfen kullanmadan önce değişim günlüğüne ve muhtemel diğer belgelendirmeye danıştığınızdan emin olun.

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

libcoq-mathcomp-finmap: finite sets and maps extension for Mathematical Components

mathcomp-finmap ile İlgili Diğer Paketler

inşa bağımlılıkları

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

adep: coq (>= 9)

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

Paket mevcut değil
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)
adep: ocaml-dune

composable build system for OCaml projects

Download mathcomp-finmap

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
mathcomp-finmap_2.2.2-2.dsc	2,1 kB	9fa27a7e80b855549e055c3999dcedc7
mathcomp-finmap_2.2.2.orig.tar.gz	60,3 kB	9220e92849171b7c8cb470c78d349ab6
mathcomp-finmap_2.2.2-2.debian.tar.xz	8,9 kB	e90c0aeb69ec8e50d03166ae98e32bdf

Debian Paket Kaynak Deposu (VCS: Git): https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Debian Paket Kaynak Deposu (Gezinilebilir): https://salsa.debian.org/ocaml-team/mathcomp-finmap