Package: libcoq-record-update
Source: coq-record-update
Priority: optional
Section: universe/ocaml
Installed-Size: 57
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.3.4-4build7
Provides: libcoq-record-update-463w1
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-record-update/libcoq-record-update_0.3.4-4build7_amd64.deb
Size: 15416
MD5sum: a8e44a669f006dff2113045d6feec2df
SHA1: 83741447743a9a5e40c9be022cfcdf9300411d0a
SHA256: 99c5a86f12334586d4eb5f16bb3c4057293237ea4659f1ae2e18a1687f14279a
SHA512: bbfe530b9d18e5edf827a05e6c507fe3818e81d2622dade3f56f7087c79ddbfa2f7e0e1a5737a61ae755ebde898a32bc5d85026af8a09160bbe67e37e6af3b97
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