[ experimental ]
Source Package: rocq-stdlib (9.0.0-3)
Links for rocq-stdlib
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [rocq-prover.org]
Експериментальний пакунок
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
Наступні двійкові пакунки побудовано з цього джерельного пакунка:
- libcoq-stdlib
- Standard library for the Rocq Theorem Prover
Інші пакунки пов'язані з rocq-stdlib
|
|
-
- adep: coq (>= 9)
- Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)
-
- adep: debhelper-compat (= 13)
- Пакунок недоступний
-
- 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
| Файл | Розмір (в кБ) | MD5 checksum |
|---|---|---|
| rocq-stdlib_9.0.0-3.dsc | 2.0 kB | 3936e38c0b9c49098b85b7beb1ade5f1 |
| rocq-stdlib_9.0.0.orig.tar.gz | 1,783.9 kB | 4816a4c49b3ebbe9331a975bd1afa009 |
| rocq-stdlib_9.0.0-3.debian.tar.xz | 2.2 kB | 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