Package: libcoq-record-update
Source: coq-record-update
Priority: optional
Section: universe/ocaml
Installed-Size: 69
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.3.7-3build4
Provides: libcoq-record-update-27d80
Depends: libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-record-update/libcoq-record-update_0.3.7-3build4_amd64.deb
Size: 20872
SHA512: 4c4cb66ae9cd16b18f54620aa6f042663568f0afd1b8d24bd778646c07604a99a41626ba8caf2ce85d57417055bb9f00e52fa470e65a3368d3b30e9599a4f059
Homepage: https://github.com/tchajed/coq-record-update
Description: automatic record fields updaters for Coq
Description-md5: 88f89d9a5fbe40b2f7634d8368a32e1e
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug