Package: libcoq-record-update
Architecture: amd64
Version: 0.3.3-1build4
Priority: optional
Section: universe/ocaml
Source: coq-record-update
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 60
Provides: libcoq-record-update-4z699
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-record-update/libcoq-record-update_0.3.3-1build4_amd64.deb
Size: 15594
MD5sum: 23d8003e43132b7f5fd052a83a11ae16
SHA1: b736e5d4f3e2830e0170af7f0746736fe4eea69d
SHA256: 0a9131fdfc901f9b0f0549c1ddb9ac29c8ebec933c13c549354bdb68c2e8a445
SHA512: 69416007e48a0374cea20ff904e00ac97d11e3a1e6bc3bf037b4ff7fa36926df2d585f5bc3225ed22263717428ba04081cbbb000c1cfabb400929f64e930e9a0
Homepage: https://github.com/tchajed/coq-record-update
Description: automatic record fields updaters for Coq
Description-md5: 88f89d9a5fbe40b2f7634d8368a32e1e