Ubuntu
coq-serapi package

coq-serapi 8.19.0+0.19.3-4build2 source package in Ubuntu

Changelog

coq-serapi (8.19.0+0.19.3-4build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

 -- Matthias Klose <email address hidden>  Sat, 07 Sep 2024 00:44:47 +0200

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Oracular
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
coq-serapi_8.19.0+0.19.3.orig.tar.gz 175.4 KiB 48108b534c7859918643f4aaccd5816f425a8445a8a79a662fc41fa465a19201
coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz 10.2 KiB b2c44083a00947584c5f28bd2e56ef6006c3d99b5cf6a4c0a6381a9f007dd4ac
coq-serapi_8.19.0+0.19.3-4build2.dsc 2.4 KiB 7ab73a9ef9b52c7d97d9ce695e693c10e1dd46bde2a9b67dd11ff87215ef574b

View changes file

Binary packages built by this source

coq-serapi: interaction with Coq (utils)

 SerAPI provides a library for machine-to-machine
 interaction with Coq with particular emphasis on
 integrated development environments, code analysis tools
 and machine learning.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides utilities to work with the serapi
 plugin.

coq-serapi-dbgsym: debug symbols for coq-serapi
libcoq-serapi-ocaml: interaction with Coq (runtime)

 SerAPI provides a library for machine-to-machine
 interaction with Coq with particular emphasis on
 integrated development environments, code analysis tools
 and machine learning.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides runtime libraries for the serapi plugin.

libcoq-serapi-ocaml-dbgsym: debug symbols for libcoq-serapi-ocaml
libcoq-serapi-ocaml-dev: interaction with Coq (devel)

 SerAPI provides a library for machine-to-machine
 interaction with Coq with particular emphasis on
 integrated development environments, code analysis tools
 and machine learning.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides libraries needed to develop
 for the serapi plugin.