Source package ssreflect/2.2.0-2 in dawn @ pureos - PureOS Software

ssreflect - 2.2.0-2 main

Versions in dawn: 2.2.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:

Stéphane Glondu <glondu [꩜] debian.org>
Julien Puydt <jpuydt [꩜] debian.org>
Ralf Treinen <treinen [꩜] 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

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-mathcomp-algebra amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64
libcoq-mathcomp-field amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64
libcoq-mathcomp-solvable amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64
libcoq-mathcomp amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64
libcoq-mathcomp-character amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64
libcoq-mathcomp-fingroup amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64
libcoq-mathcomp-ssreflect amd64 amd64 amd64 amd64 arm64 arm64 arm64 arm64

Build Dependencies

debhelper-compat (= 13)
dh-coq
coq (>= 8.11)
libcoq-hierarchy-builder
libcoq-stdlib
lua5.4

Files

Filename	Size	Checksum (SHA256)
ssreflect_2.2.0.orig.tar.gz	1.8 MB	`e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5`
ssreflect_2.2.0-2.dsc	2.4 kB	`f2d086ec0ec2d4935bac054659c9f20ef7ba429cc20a301136570664088e79ff`
ssreflect_2.2.0-2.debian.tar.xz	12.7 kB	`69c755056a6db5482f8cdfded53e47928ac009afeffee8c076d4afbd9819e1ac`