ssreflect - 1.12.0-1 main

Versions in byzantium: 1.12.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Stéphane Glondu <glondu [꩜] debian.org>
  • Enrico Tassi <gareuselesinge [꩜] debian.org>
  • Ralf Treinen <treinen [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures: all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

  • debhelper-compat (= 13)
  • coq (>= 8.7)
  • lua5.1

Files

Filename Size Checksum (SHA256)
ssreflect_1.12.0-1.dsc 2.1 kB 733be6c9676b842ab11b96fb2a40f57b3824c31767f9086b1f08ac97a19e582d
ssreflect_1.12.0.orig.tar.gz 1.3 MB a57b79a280e7e8527bf0d8710c1f65cde00032746b52b87be1ab12e6213c9783
ssreflect_1.12.0-1.debian.tar.xz 12.8 kB c8141b3be4f18418b83e4d06e60d2e16982238373afdcea1ff6d1645917def30