Tarkennettu haku
[  experimental  ]

Source Package: rocq-stdlib (9.0.0-3)

Links for rocq-stdlib

Debian-palvelut:

Ylläpitäjät:

External Resources:

Kokeellinen paketti

Varoitus: Tämä paketti on kokeellisesta jakelusta. Tämä tarkoittaa, että se on luultavasti epävakaa tai buginen, ja voi aiheuttaa jopa tiedonhäviötä. Kannattaa ehdottomasti tutustua muutoslokiin ja muihin mahdollisiin ohjeisiin ennen käyttöönottoa.

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-stdlib
Standard library for the Rocq Theorem Prover

Muut pakettiin rocq-stdlib liittyvät paketit

  • build-depends
  • build-depends-indep
  • adep: coq (>= 9)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: debhelper-compat (= 13)
    Paketti ei saatavilla
  • adep: dh-coq
    debhelper tool for Coq-related Debian packages
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: ocaml
    ML language implementation with a class-based object system
  • adep: ocaml-dune
    composable build system for OCaml projects

Download rocq-stdlib

TiedostoKoko (kt)MD5-tarkiste
rocq-stdlib_9.0.0-3.dsc 2.0 kt 3936e38c0b9c49098b85b7beb1ade5f1
rocq-stdlib_9.0.0.orig.tar.gz 1,783.9 kt 4816a4c49b3ebbe9331a975bd1afa009
rocq-stdlib_9.0.0-3.debian.tar.xz 2.2 kt 89835178eff32bcec35f254dea5dfe3d
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/rocq-stdlib.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/rocq-stdlib