Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-equations (1.3-8.18-1)

Links for coq-equations

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-equations
Coq library to work with functions defined by equations

Muut pakettiin coq-equations liittyvät paketit

  • build-depends
  • build-depends-indep

Download coq-equations

TiedostoKoko (kt)MD5-tarkiste
coq-equations_1.3-8.18-1.dsc 2.1 kt efdca388079b103f7657954d909a9c1d
coq-equations_1.3-8.18.orig.tar.gz 1,076.9 kt 1a2bada154ceed57fe493b9180f73f50
coq-equations_1.3-8.18-1.debian.tar.xz 2.6 kt 7c0812d459bb461cdddf8a09ece5db1d
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-equations.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-equations