Source package coq-equations/1.3.1-8.20-1 in landing @ pureos - PureOS Software

coq-equations - 1.3.1-8.20-1 main

Versions in landing: 1.3.1-8.20-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:

Julien Puydt <jpuydt [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any

This package may currently be unbuildable on the following architectures:

arm64
amd64

Version 1.3.1-8.20-1 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-equations amd64 arm64

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-equations_1.3.1-8.20-1.dsc	2.2 kB	`c1d3e6993c755cfe3f027ee16255b9aa428ace427946949c5c889a9d56a36814`
coq-equations_1.3.1-8.20.orig.tar.gz	1.1 MB	`6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493`
coq-equations_1.3.1-8.20-1.debian.tar.xz	2.7 kB	`eb0b8aced113d6453b8e415e6169495156a84bb871632d5c2111f237a967939c`