Source package coq-mtac2/1.4+8.20-1 in landing @ pureos - PureOS Software

coq-mtac2 - 1.4+8.20-1 main

Versions in landing: 1.4+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.7.0
Architectures: any

This package may currently be unbuildable on the following architectures:

arm64
amd64

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

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-mtac2 amd64 arm64

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-mtac2_1.4+8.20-1.dsc	2.1 kB	`9b2292e2662940ff8fd634185c90944ea2ffa552a615a4931f872f3678626a31`
coq-mtac2_1.4+8.20.orig.tar.gz	252.4 kB	`7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3`
coq-mtac2_1.4+8.20-1.debian.tar.xz	2.9 kB	`32d63f6f122bb1ecd84052381f7f617513d19161d2b68e51549c4c9523199a86`