Package: libwhy-coq Priority: optional Section: universe/libdevel Installed-Size: 892 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: all Source: why Version: 2.30+dfsg-3 Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.3pl3+3.12.1 Filename: pool/universe/w/why/libwhy-coq_2.30+dfsg-3_all.deb Size: 403156 MD5sum: 6f5102a9cf29b5cdbcfcc2b16c06756c SHA1: 8aff46ebb177538e2b4c9bc3424cfbcd44542955 SHA256: 6d185e9e24ecac18478f223e5e5a9adbeaf0fa1ecb1ae2f8224c69c50020d4bf Description: Why library for Coq Homepage: http://why.lri.fr/ Description-md5: 4954b9c0fd1ffba617423e3142a29a95 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu