Source package coq-equations/1.3-8.19-2 in landing @ pureos - PureOS Software

coq-equations - 1.3-8.19-2 main

Versions in landing: 1.3-8.19-2
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-8.19-2 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-8.19.orig.tar.gz	1.1 MB	`4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198`
coq-equations_1.3-8.19-2.dsc	1.9 kB	`dac4473bedb4a76668feb834b6831af48e98402ee2915635644b7cb440e006dc`
coq-equations_1.3-8.19-2.debian.tar.xz	2.7 kB	`9d25183b524bc5af37014491bade2724a006fbf68ac85e2296fe5817ef41ab5b`