@comment PKG_FORMAT_REVISION:1.1
@name coq-8.1.1
@comment ORIGIN:math/coq
@cwd /usr/local
@pkgdep xineramaproto-1.1.2
@comment DEPORIGIN:x11/xineramaproto
@pkgdep xf86vidmodeproto-2.2.2
@comment DEPORIGIN:x11/xf86vidmodeproto
@pkgdep xf86miscproto-0.9.2
@comment DEPORIGIN:x11/xf86miscproto
@pkgdep xf86dgaproto-2.0.3
@comment DEPORIGIN:x11/xf86dgaproto
@pkgdep xextproto-7.0.2
@comment DEPORIGIN:x11/xextproto
@pkgdep xbitmaps-1.0.1
@comment DEPORIGIN:x11/xbitmaps
@pkgdep videoproto-2.2.2
@comment DEPORIGIN:x11/videoproto
@pkgdep scrnsaverproto-1.1.0
@comment DEPORIGIN:x11/scrnsaverproto
@pkgdep renderproto-0.9.3
@comment DEPORIGIN:x11/renderproto
@pkgdep recordproto-1.13.2
@comment DEPORIGIN:x11/recordproto
@pkgdep randrproto-1.2.1
@comment DEPORIGIN:x11/randrproto
@pkgdep printproto-1.0.3
@comment DEPORIGIN:x11/printproto
@pkgdep kbproto-1.0.3
@comment DEPORIGIN:x11/kbproto
@pkgdep inputproto-1.4.2.1
@comment DEPORIGIN:x11/inputproto
@pkgdep fixesproto-4.0
@comment DEPORIGIN:x11/fixesproto
@pkgdep damageproto-1.1.0_2
@comment DEPORIGIN:x11/damageproto
@pkgdep compositeproto-0.4
@comment DEPORIGIN:x11/compositeproto
@pkgdep fontsproto-2.0.2
@comment DEPORIGIN:x11-fonts/fontsproto
@pkgdep fontcacheproto-0.1.2
@comment DEPORIGIN:x11-fonts/fontcacheproto
@pkgdep font-util-1.0.1
@comment DEPORIGIN:x11-fonts/font-util
@pkgdep encodings-1.0.2,1
@comment DEPORIGIN:x11-fonts/encodings
@pkgdep xmlcatmgr-2.2
@comment DEPORIGIN:textproc/xmlcatmgr
@pkgdep sdocbook-xml-1.1,1
@comment DEPORIGIN:textproc/sdocbook-xml
@pkgdep expat-2.0.0_1
@comment DEPORIGIN:textproc/expat2
@pkgdep docbook-xml-4.4
@comment DEPORIGIN:textproc/docbook-xml-440
@pkgdep docbook-xml-4.3
@comment DEPORIGIN:textproc/docbook-xml-430
@pkgdep docbook-xml-4.2_1
@comment DEPORIGIN:textproc/docbook-xml
@pkgdep docbook-xsl-1.71.1_2
@comment DEPORIGIN:textproc/docbook-xsl
@pkgdep docbook-sk-4.1.2_4
@comment DEPORIGIN:textproc/docbook-sk
@pkgdep gnome_subr-1.0
@comment DEPORIGIN:sysutils/gnome_subr
@pkgdep dmidecode-2.9
@comment DEPORIGIN:sysutils/dmidecode
@pkgdep cdrtools-2.01_6
@comment DEPORIGIN:sysutils/cdrtools
@pkgdep openldap-client-2.3.39
@comment DEPORIGIN:net/openldap23-client
@pkgdep pciids-20071004
@comment DEPORIGIN:misc/pciids
@pkgdep hicolor-icon-theme-0.10_2
@comment DEPORIGIN:misc/hicolor-icon-theme
@pkgdep gnomehier-2.3_10
@comment DEPORIGIN:misc/gnomehier
@pkgdep tcl-8.4.16,1
@comment DEPORIGIN:lang/tcl84
@pkgdep python25-2.5.1_1
@comment DEPORIGIN:lang/python25
@pkgdep perl-5.8.8_1
@comment DEPORIGIN:lang/perl5.8
@pkgdep png-1.2.22
@comment DEPORIGIN:graphics/png
@pkgdep libdrm-2.3.0
@comment DEPORIGIN:graphics/libdrm
@pkgdep jpeg-6b_4
@comment DEPORIGIN:graphics/jpeg
@pkgdep tiff-3.8.2_1
@comment DEPORIGIN:graphics/tiff
@pkgdep pkg-config-0.22_1
@comment DEPORIGIN:devel/pkg-config
@pkgdep mkfontdir-1.0.3
@comment DEPORIGIN:x11-fonts/mkfontdir
@pkgdep libart_lgpl-2.3.19,1
@comment DEPORIGIN:graphics/libart_lgpl
@pkgdep libtasn1-1.1
@comment DEPORIGIN:security/libtasn1
@pkgdep freetype2-2.3.5
@comment DEPORIGIN:print/freetype2
@pkgdep fontconfig-2.4.2_2,1
@comment DEPORIGIN:x11-fonts/fontconfig
@pkgdep bitstream-vera-1.10_4
@comment DEPORIGIN:x11-fonts/bitstream-vera
@pkgdep xtrans-1.0.4
@comment DEPORIGIN:x11/xtrans
@pkgdep xproto-7.0.10_1
@comment DEPORIGIN:x11/xproto
@pkgdep libFS-1.0.0
@comment DEPORIGIN:x11-fonts/libFS
@pkgdep libICE-1.0.4,1
@comment DEPORIGIN:x11/libICE
@pkgdep libSM-1.0.3,1
@comment DEPORIGIN:x11/libSM
@pkgdep libXdmcp-1.0.2
@comment DEPORIGIN:x11/libXdmcp
@pkgdep libXau-1.0.3_2
@comment DEPORIGIN:x11/libXau
@pkgdep libX11-1.1.3,1
@comment DEPORIGIN:x11/libX11
@pkgdep tk-8.4.16,2
@comment DEPORIGIN:x11-toolkits/tk84
@pkgdep libXt-1.0.5
@comment DEPORIGIN:x11-toolkits/libXt
@pkgdep trapproto-3.4.3
@comment DEPORIGIN:x11/trapproto
@pkgdep libXext-1.0.3,1
@comment DEPORIGIN:x11/libXext
@pkgdep libXTrap-1.0.0
@comment DEPORIGIN:x11/libXTrap
@pkgdep libXpm-3.5.7
@comment DEPORIGIN:x11/libXpm
@pkgdep libXmu-1.0.3,1
@comment DEPORIGIN:x11-toolkits/libXmu
@pkgdep libXScrnSaver-1.1.2
@comment DEPORIGIN:x11/libXScrnSaver
@pkgdep libXp-1.0.0,1
@comment DEPORIGIN:x11/libXp
@pkgdep libXaw-1.0.4,1
@comment DEPORIGIN:x11-toolkits/libXaw
@pkgdep libXprintUtil-1.0.1
@comment DEPORIGIN:x11/libXprintUtil
@pkgdep libXprintAppUtil-1.0.1
@comment DEPORIGIN:x11/libXprintAppUtil
@pkgdep libXevie-1.0.2
@comment DEPORIGIN:x11/libXevie
@pkgdep libXfontcache-1.0.4
@comment DEPORIGIN:x11-fonts/libXfontcache
@pkgdep libXi-1.1.3,1
@comment DEPORIGIN:x11/libXi
@pkgdep libXinerama-1.0.2,1
@comment DEPORIGIN:x11/libXinerama
@pkgdep libXres-1.0.3_2
@comment DEPORIGIN:x11/libXres
@pkgdep libXtst-1.0.3
@comment DEPORIGIN:x11/libXtst
@pkgdep libXv-1.0.3,1
@comment DEPORIGIN:x11/libXv
@pkgdep libXvMC-1.0.4
@comment DEPORIGIN:x11/libXvMC
@pkgdep libXxf86dga-1.0.2
@comment DEPORIGIN:x11/libXxf86dga
@pkgdep libXxf86misc-1.0.1
@comment DEPORIGIN:x11/libXxf86misc
@pkgdep libXxf86vm-1.0.1
@comment DEPORIGIN:x11/libXxf86vm
@pkgdep libdmx-1.0.2
@comment DEPORIGIN:x11/libdmx
@pkgdep libXfixes-4.0.3
@comment DEPORIGIN:x11/libXfixes
@pkgdep libXcomposite-0.4.0,1
@comment DEPORIGIN:x11/libXcomposite
@pkgdep libXdamage-1.1.1
@comment DEPORIGIN:x11/libXdamage
@pkgdep libGL-7.0.1
@comment DEPORIGIN:graphics/libGL
@pkgdep libGLU-7.0.1
@comment DEPORIGIN:graphics/libGLU
@pkgdep libXrender-0.9.4
@comment DEPORIGIN:x11/libXrender
@pkgdep cairo-1.4.10_1
@comment DEPORIGIN:graphics/cairo
@pkgdep libXft-2.1.12
@comment DEPORIGIN:x11-fonts/libXft
@pkgdep libXrandr-1.2.2
@comment DEPORIGIN:x11/libXrandr
@pkgdep libXcursor-1.1.9
@comment DEPORIGIN:x11/libXcursor
@pkgdep liboldX-1.0.1
@comment DEPORIGIN:x11/liboldX
@pkgdep libxkbfile-1.0.4
@comment DEPORIGIN:x11/libxkbfile
@pkgdep libxkbui-1.0.2
@comment DEPORIGIN:x11/libxkbui
@pkgdep libfontenc-1.0.4
@comment DEPORIGIN:x11-fonts/libfontenc
@pkgdep mkfontscale-1.0.3
@comment DEPORIGIN:x11-fonts/mkfontscale
@pkgdep font-bh-ttf-1.0.0
@comment DEPORIGIN:x11-fonts/font-bh-ttf
@pkgdep font-misc-ethiopic-1.0.0
@comment DEPORIGIN:x11-fonts/font-misc-ethiopic
@pkgdep font-misc-meltho-1.0.0_1
@comment DEPORIGIN:x11-fonts/font-misc-meltho
@pkgdep xorg-fonts-truetype-7.3
@comment DEPORIGIN:x11-fonts/xorg-fonts-truetype
@pkgdep libXfont-1.3.1_1,1
@comment DEPORIGIN:x11-fonts/libXfont
@pkgdep pixman-0.9.6
@comment DEPORIGIN:x11/pixman
@pkgdep xorg-libraries-7.3_1
@comment DEPORIGIN:x11/xorg-libraries
@pkgdep ocaml-3.09.3_1
@comment DEPORIGIN:lang/ocaml
@pkgdep libglut-7.0.1_1
@comment DEPORIGIN:graphics/libglut
@pkgdep ocaml-lablgl-1.02_1
@comment DEPORIGIN:graphics/ocaml-lablgl
@pkgdep startup-notification-0.9_1
@comment DEPORIGIN:x11/startup-notification
@pkgdep pcre-7.4
@comment DEPORIGIN:devel/pcre
@pkgdep nspr-4.6.7
@comment DEPORIGIN:devel/nspr
@pkgdep nss-3.11.7
@comment DEPORIGIN:security/nss
@pkgdep libvolume_id-0.75.0_1
@comment DEPORIGIN:devel/libvolume_id
@pkgdep libdaemon-0.12
@comment DEPORIGIN:devel/libdaemon
@pkgdep gdbm-1.8.3_3
@comment DEPORIGIN:databases/gdbm
@pkgdep db41-4.1.25_4
@comment DEPORIGIN:databases/db41
@pkgdep libiconv-1.11_1
@comment DEPORIGIN:converters/libiconv
@pkgdep samba-libsmbclient-3.0.28
@comment DEPORIGIN:net/samba-libsmbclient
@pkgdep libxml2-2.6.30
@comment DEPORIGIN:textproc/libxml2
@pkgdep py25-libxml2-2.6.30
@comment DEPORIGIN:textproc/py-libxml2
@pkgdep libxslt-1.1.22
@comment DEPORIGIN:textproc/libxslt
@pkgdep dbus-1.0.2_2
@comment DEPORIGIN:devel/dbus
@pkgdep gettext-0.16.1_3
@comment DEPORIGIN:devel/gettext
@pkgdep gmake-3.81_2
@comment DEPORIGIN:devel/gmake
@pkgdep getopt-1.1.4
@comment DEPORIGIN:misc/getopt
@pkgdep libgpg-error-1.5
@comment DEPORIGIN:security/libgpg-error
@pkgdep libgcrypt-1.2.4_1
@comment DEPORIGIN:security/libgcrypt
@pkgdep gnutls-2.0.2_1
@comment DEPORIGIN:security/gnutls
@pkgdep gnome-mime-data-2.18.0_2
@comment DEPORIGIN:misc/gnome-mime-data
@pkgdep popt-1.7_4
@comment DEPORIGIN:devel/popt
@pkgdep bash-3.2.25
@comment DEPORIGIN:shells/bash
@pkgdep rarian-0.6.0_1
@comment DEPORIGIN:textproc/rarian
@pkgdep gnome-doc-utils-0.12.0
@comment DEPORIGIN:textproc/gnome-doc-utils
@pkgdep aspell-0.60.5_2
@comment DEPORIGIN:textproc/aspell
@pkgdep glib-2.14.2
@comment DEPORIGIN:devel/glib20
@pkgdep libcroco-0.6.1
@comment DEPORIGIN:textproc/libcroco
@pkgdep pango-1.18.3
@comment DEPORIGIN:x11-toolkits/pango
@pkgdep shared-mime-info-0.22_1
@comment DEPORIGIN:misc/shared-mime-info
@pkgdep gamin-0.1.9
@comment DEPORIGIN:devel/gamin
@pkgdep linc-1.0.3_6
@comment DEPORIGIN:net/linc
@pkgdep libsoup-2.2.102
@comment DEPORIGIN:devel/libsoup
@pkgdep dbus-glib-0.74
@comment DEPORIGIN:devel/dbus-glib
@pkgdep policykit-0.1.20060514_4
@comment DEPORIGIN:sysutils/policykit
@pkgdep hal-0.5.8.20070909
@comment DEPORIGIN:sysutils/hal
@pkgdep avahi-app-0.6.21_1
@comment DEPORIGIN:net/avahi-app
@pkgdep avahi-0.6.21_1
@comment DEPORIGIN:net/avahi
@pkgdep libIDL-0.8.9_1
@comment DEPORIGIN:devel/libIDL
@pkgdep ORBit2-2.14.10
@comment DEPORIGIN:devel/ORBit2
@pkgdep libbonobo-2.20.1_1
@comment DEPORIGIN:devel/libbonobo
@pkgdep libaudiofile-0.2.6
@comment DEPORIGIN:audio/libaudiofile
@pkgdep esound-0.2.38
@comment DEPORIGIN:audio/esound
@pkgdep atk-1.20.0
@comment DEPORIGIN:accessibility/atk
@pkgdep gtk-2.12.1_1
@comment DEPORIGIN:x11-toolkits/gtk20
@pkgdep gtkspell-2.0.11_5
@comment DEPORIGIN:textproc/gtkspell
@pkgdep gtkglarea-1.99.0_10
@comment DEPORIGIN:x11-toolkits/gtkglarea2
@pkgdep gtk-engines2-2.12.2
@comment DEPORIGIN:x11-themes/gtk-engines2
@pkgdep libwnck-2.20.1_1
@comment DEPORIGIN:x11-toolkits/libwnck
@pkgdep gail-1.20.1
@comment DEPORIGIN:accessibility/gail
@pkgdep gconf2-2.20.1
@comment DEPORIGIN:devel/gconf2
@pkgdep libgsf-1.14.7
@comment DEPORIGIN:devel/libgsf
@pkgdep librsvg2-2.18.2_1
@comment DEPORIGIN:graphics/librsvg2
@pkgdep gnome-vfs-2.20.0_2
@comment DEPORIGIN:devel/gnome-vfs
@pkgdep gnome-menus-2.20.1
@comment DEPORIGIN:x11/gnome-menus
@pkgdep libgnome-2.20.1.1_1
@comment DEPORIGIN:x11/libgnome
@pkgdep gnome-icon-theme-2.20.0_1
@comment DEPORIGIN:misc/gnome-icon-theme
@pkgdep gnome-keyring-2.20.1
@comment DEPORIGIN:security/gnome-keyring
@pkgdep libglade2-2.6.2
@comment DEPORIGIN:devel/libglade2
@pkgdep libgnomecanvas-2.20.1.1
@comment DEPORIGIN:graphics/libgnomecanvas
@pkgdep libbonoboui-2.20.0
@comment DEPORIGIN:x11-toolkits/libbonoboui
@pkgdep libgnomeui-2.20.1.1
@comment DEPORIGIN:x11-toolkits/libgnomeui
@pkgdep gnome-desktop-2.20.1_1
@comment DEPORIGIN:x11/gnome-desktop
@pkgdep evolution-data-server-1.12.1_2
@comment DEPORIGIN:databases/evolution-data-server
@pkgdep gnome-panel-2.20.1
@comment DEPORIGIN:x11/gnome-panel
@pkgdep ocaml-lablgtk2-2.6.0_4
@comment DEPORIGIN:x11-toolkits/ocaml-lablgtk2
man/man1/coq-interface.1.gz
@comment MD5:1ce6aa9709c1c57288b4c2fa35c67130
man/man1/coq-tex.1.gz
@comment MD5:dde29da8957c8090f547a540bc854dfc
man/man1/coq_makefile.1.gz
@comment MD5:4ef8fa0c8e11cfe0675f5b49439c2c29
man/man1/coqc.1.gz
@comment MD5:6fd3a11adfda44881aede4e47543c899
man/man1/coqdep.1.gz
@comment MD5:1bdcd22cc663ae9acc00f299ffa37e28
man/man1/coqdoc.1.gz
@comment MD5:d7fd874d9d48264dc7faf4507c9f1e9a
man/man1/coqmktop.1.gz
@comment MD5:1f6f8453f42dbee3d11a579e74cd4ba5
man/man1/coqtop.1.gz
@comment MD5:71291f8d313ecb14c171f627253f95d0
man/man1/coqtop.byte.1.gz
@comment MD5:c85d082eef138584a662d850dbf002e0
man/man1/coqtop.opt.1.gz
@comment MD5:f788dfbc611d9164b4d7ee4b9054d116
man/man1/coqwc.1.gz
@comment MD5:608b2681cd11b7f28f5cf013041002ee
man/man1/gallina.1.gz
@comment MD5:1fe73f0bba223f0cb031a08b7d7922f4
man/man1/parser.1.gz
@comment MD5:16540d6122294822e27c8362c5a080f7
@unexec rm -f %D/man/cat1/coq-interface.1.gz %D/man/cat1/coq-interface.1 %D/man/cat1/coq-interface.1.gz %D/man/cat1/coq-interface.1.gz.gz %D/man/cat1/coq-interface.1.gz.bz2
@unexec rm -f %D/man/cat1/coq-tex.1.gz %D/man/cat1/coq-tex.1 %D/man/cat1/coq-tex.1.gz %D/man/cat1/coq-tex.1.gz.gz %D/man/cat1/coq-tex.1.gz.bz2
@unexec rm -f %D/man/cat1/coq_makefile.1.gz %D/man/cat1/coq_makefile.1 %D/man/cat1/coq_makefile.1.gz %D/man/cat1/coq_makefile.1.gz.gz %D/man/cat1/coq_makefile.1.gz.bz2
@unexec rm -f %D/man/cat1/coqc.1.gz %D/man/cat1/coqc.1 %D/man/cat1/coqc.1.gz %D/man/cat1/coqc.1.gz.gz %D/man/cat1/coqc.1.gz.bz2
@unexec rm -f %D/man/cat1/coqdep.1.gz %D/man/cat1/coqdep.1 %D/man/cat1/coqdep.1.gz %D/man/cat1/coqdep.1.gz.gz %D/man/cat1/coqdep.1.gz.bz2
@unexec rm -f %D/man/cat1/coqdoc.1.gz %D/man/cat1/coqdoc.1 %D/man/cat1/coqdoc.1.gz %D/man/cat1/coqdoc.1.gz.gz %D/man/cat1/coqdoc.1.gz.bz2
@unexec rm -f %D/man/cat1/coqmktop.1.gz %D/man/cat1/coqmktop.1 %D/man/cat1/coqmktop.1.gz %D/man/cat1/coqmktop.1.gz.gz %D/man/cat1/coqmktop.1.gz.bz2
@unexec rm -f %D/man/cat1/coqtop.1.gz %D/man/cat1/coqtop.1 %D/man/cat1/coqtop.1.gz %D/man/cat1/coqtop.1.gz.gz %D/man/cat1/coqtop.1.gz.bz2
@unexec rm -f %D/man/cat1/coqtop.byte.1.gz %D/man/cat1/coqtop.byte.1 %D/man/cat1/coqtop.byte.1.gz %D/man/cat1/coqtop.byte.1.gz.gz %D/man/cat1/coqtop.byte.1.gz.bz2
@unexec rm -f %D/man/cat1/coqtop.opt.1.gz %D/man/cat1/coqtop.opt.1 %D/man/cat1/coqtop.opt.1.gz %D/man/cat1/coqtop.opt.1.gz.gz %D/man/cat1/coqtop.opt.1.gz.bz2
@unexec rm -f %D/man/cat1/coqwc.1.gz %D/man/cat1/coqwc.1 %D/man/cat1/coqwc.1.gz %D/man/cat1/coqwc.1.gz.gz %D/man/cat1/coqwc.1.gz.bz2
@unexec rm -f %D/man/cat1/gallina.1.gz %D/man/cat1/gallina.1 %D/man/cat1/gallina.1.gz %D/man/cat1/gallina.1.gz.gz %D/man/cat1/gallina.1.gz.bz2
@unexec rm -f %D/man/cat1/parser.1.gz %D/man/cat1/parser.1 %D/man/cat1/parser.1.gz %D/man/cat1/parser.1.gz.gz %D/man/cat1/parser.1.gz.bz2
bin/coq-interface
@comment MD5:e5d0daff296da15f449a7eaa795b68d7
bin/coq-interface.opt
@comment MD5:dcd668174530bb8383dc6751fc666d3c
bin/coq-tex
@comment MD5:577bb1e7b450c0cf035fad15439876af
bin/coq_makefile
@comment MD5:4104f1c17a332cd36d314ceef1112d34
bin/coqc
@comment MD5:97c906acfc295b27826b51b2e5fc12f4
bin/coqdep
@comment MD5:9d6e1ffc57a7fa76d90cd2e96c47d655
bin/coqdoc
@comment MD5:2afa8da07aa2e6cb7c15537c04b5682b
bin/coqide
@comment MD5:43b6dfef2e3c1a8a7ea6998f8a5b4375
bin/coqide.byte
@comment MD5:3148a8dc5457296530bed20fa8d48796
bin/coqide.opt
@comment MD5:80d91249b8577eeb2f4fbfa8ca9e735d
bin/coqmktop
@comment MD5:14d71c2cc866b10f666b6fb5427a3595
bin/coqtop
@comment MD5:3262e9dbb7937a3f5b1c2280ce96adf4
bin/coqtop.byte
@comment MD5:2cd5a5279960e4c47b8815d1a2d3dcea
bin/coqtop.opt
@comment MD5:d0e48fd76eee25a063e5bd6d9f84217a
bin/coqwc
@comment MD5:d3651a5b6ca272b36d793da6fefaca16
bin/gallina
@comment MD5:11f3574f9d6980520e0940caca733a5e
bin/parser
@comment MD5:d92d7285eaddfceb479e2b88d3149af6
bin/parser.opt
@comment MD5:cacb02850c49ed56d1137741b7d0d48a
lib/coq/contrib/field/LegacyField.vo
@comment MD5:0146deef5e22bd642402d09d078200a3
lib/coq/contrib/field/LegacyField_Compl.vo
@comment MD5:b5faf79faea65b2f6184b6b9cbb90092
lib/coq/contrib/field/LegacyField_Tactic.vo
@comment MD5:77a534ab5b1e66583d3bf11720e0ee93
lib/coq/contrib/field/LegacyField_Theory.vo
@comment MD5:039c84af0d9395d252565f06f5d22175
@dirrm lib/coq/contrib/field
lib/coq/contrib/fourier/Fourier.vo
@comment MD5:a0d35c4844944296ca3c908fe38b4335
lib/coq/contrib/fourier/Fourier_util.vo
@comment MD5:c1cc4190a3098950e46acc905e47211a
@dirrm lib/coq/contrib/fourier
lib/coq/contrib/interface/vernacrc
@comment MD5:de1906a1b2e43aef9f7806a1401341d6
@dirrm lib/coq/contrib/interface
lib/coq/contrib/omega/Omega.vo
@comment MD5:ee229d91ab778d4d44bbe13c2caee045
lib/coq/contrib/omega/OmegaLemmas.vo
@comment MD5:8d853d12cdbdb08ebc2814d72d69e915
@dirrm lib/coq/contrib/omega
lib/coq/contrib/recdef/Recdef.vo
@comment MD5:831d84030bc142cbcfb63526f934515e
@dirrm lib/coq/contrib/recdef
lib/coq/contrib/ring/LegacyArithRing.vo
@comment MD5:789e23d2e658894a185af0f02a6aef04
lib/coq/contrib/ring/LegacyNArithRing.vo
@comment MD5:0a30c4852e3dc2fc0e4029331a8d8200
lib/coq/contrib/ring/LegacyRing.vo
@comment MD5:709029de63d0669f5d9cd4bc5d627144
lib/coq/contrib/ring/LegacyRing_theory.vo
@comment MD5:18ad459fcd313f049a4834cfa887cdb5
lib/coq/contrib/ring/LegacyZArithRing.vo
@comment MD5:1ed25f2c5bd711df100dd3fc86fdf059
lib/coq/contrib/ring/Quote.vo
@comment MD5:8c7e9e5aa376a0db8ac78f694ade14c8
lib/coq/contrib/ring/Ring_abstract.vo
@comment MD5:fc529a152588094abc61bffe71f54c58
lib/coq/contrib/ring/Ring_normalize.vo
@comment MD5:5fe728aca4585df4821de2a30aab75ec
lib/coq/contrib/ring/Setoid_ring.vo
@comment MD5:05c52933ef80e4f1570d7b3e162b32cd
lib/coq/contrib/ring/Setoid_ring_normalize.vo
@comment MD5:a4427d413510f4bfd88624655be0d0cb
lib/coq/contrib/ring/Setoid_ring_theory.vo
@comment MD5:50c5f235031019ffc8d8be412443ce96
@dirrm lib/coq/contrib/ring
lib/coq/contrib/romega/ROmega.vo
@comment MD5:0695baaf57fe323d99bc17b2aec3fbb2
lib/coq/contrib/romega/ReflOmegaCore.vo
@comment MD5:d6b026337c096695c09a4a04b9d3a802
@dirrm lib/coq/contrib/romega
lib/coq/contrib/rtauto/Bintree.vo
@comment MD5:6863d9cef415a44f4c1990fbdffb6c67
lib/coq/contrib/rtauto/Rtauto.vo
@comment MD5:69478603e9e77e248cb93ef89dfaf72c
@dirrm lib/coq/contrib/rtauto
lib/coq/contrib/setoid_ring/ArithRing.vo
@comment MD5:4514e23d14d8726be93710da4591f60e
lib/coq/contrib/setoid_ring/BinList.vo
@comment MD5:15e280dc281a752a44e5d937eb0f1907
lib/coq/contrib/setoid_ring/Field.vo
@comment MD5:f6c8b6d879d7175be4dd6e4f1cfc3324
lib/coq/contrib/setoid_ring/Field_tac.vo
@comment MD5:eab06d5427c306842307790890a4ff71
lib/coq/contrib/setoid_ring/Field_theory.vo
@comment MD5:bf94082c2927b2e3aeb567df87eec233
lib/coq/contrib/setoid_ring/InitialRing.vo
@comment MD5:0605e22409a944c82dba1e17c372a8a2
lib/coq/contrib/setoid_ring/NArithRing.vo
@comment MD5:c06ad020c4085ccb6414cfd427771377
lib/coq/contrib/setoid_ring/RealField.vo
@comment MD5:f569f368b2a68c9a73c18ae4b090da1d
lib/coq/contrib/setoid_ring/Ring.vo
@comment MD5:e7ec2fcad16dff95f45118ab646965c9
lib/coq/contrib/setoid_ring/Ring_base.vo
@comment MD5:aa6447d3506ca80aaec0bdb79b550fc4
lib/coq/contrib/setoid_ring/Ring_equiv.vo
@comment MD5:a3ee5d5b1b79fbce2b2cfe5bcc7d5c5c
lib/coq/contrib/setoid_ring/Ring_polynom.vo
@comment MD5:77a039bd1238eae71707513404a57cd1
lib/coq/contrib/setoid_ring/Ring_tac.vo
@comment MD5:94a539df0baaccc86afb798a669a61a9
lib/coq/contrib/setoid_ring/Ring_theory.vo
@comment MD5:4fa29f637c5ad8e43b1cb3134011c395
lib/coq/contrib/setoid_ring/ZArithRing.vo
@comment MD5:74e3c01259f5ff98e2d0a22ec8f0df6b
@dirrm lib/coq/contrib/setoid_ring
lib/coq/contrib/subtac/FixSub.vo
@comment MD5:17d8ffb501e37f57415a8ab129878f45
lib/coq/contrib/subtac/FunctionalExtensionality.vo
@comment MD5:81193e6b6e8fae7bf2a966b358ebb077
lib/coq/contrib/subtac/Heq.vo
@comment MD5:e849b2675b5493654fca47fbcf448c92
lib/coq/contrib/subtac/Subtac.vo
@comment MD5:e156247a5bed1b354e688e65c9902fea
lib/coq/contrib/subtac/SubtacTactics.vo
@comment MD5:d2329b40ba195aa7f8dfe98126f3697e
lib/coq/contrib/subtac/Utils.vo
@comment MD5:8b0d6eb772b5f3092a19ecfadcdbc47e
@dirrm lib/coq/contrib/subtac
@dirrm lib/coq/contrib
lib/coq/contrib.cma
@comment MD5:12cfba19f3dc9db5e27e4598e3af006c
lib/coq/contrib.cmxa
@comment MD5:0205622cac3084516f4c4fce2aa1bca5
lib/coq/highparsing.cma
@comment MD5:6000498303df9e21fceb3c69fb2d5940
lib/coq/highparsing.cmxa
@comment MD5:e73d008f539b1142a944e1e0bb894fbe
lib/coq/hightactics.cma
@comment MD5:d08190f8dbf7ec8264fb8acc11ddbfb0
lib/coq/hightactics.cmxa
@comment MD5:88178eacb68a6b2af1fd327b0948a753
lib/coq/ide/.coqide-gtk2rc
@comment MD5:f021f0439ac62032d7293b706574892f
lib/coq/ide/FAQ
@comment MD5:1c2921752ace03cba4c50882be1e4cb5
lib/coq/ide/coq.png
@comment MD5:732a6d60ba0555d2f35a9a0321db522b
lib/coq/ide/utf8.v
@comment MD5:71d0d24818beaa4246dbd22754c160cb
lib/coq/ide/utf8.vo
@comment MD5:4977c60342633a49a2a816013046aff4
@dirrm lib/coq/ide
lib/coq/interp.cma
@comment MD5:580ba7528a3658205c958eadf8f515a1
lib/coq/interp.cmxa
@comment MD5:b40bd5691846b55909a91fa95e249e92
lib/coq/kernel.cma
@comment MD5:c82321e845c7713b2521bc6951dd2459
lib/coq/kernel.cmxa
@comment MD5:e98363400e113a9c8c11b311f7185bec
lib/coq/lib.cma
@comment MD5:398850031ac28c68611878cf76756f91
lib/coq/lib.cmxa
@comment MD5:c0a47432be0e91e19faaa35817a2dfb8
lib/coq/library.cma
@comment MD5:32d330e8a6430ab096776ba35b65a834
lib/coq/library.cmxa
@comment MD5:28c1e65f6fd843d98242c44b50b7ba83
lib/coq/parsing.cma
@comment MD5:24ee5066b250b70af83184d6a33ac59f
lib/coq/parsing.cmxa
@comment MD5:a83ad9c27f75425cd5a82058754e1ca5
lib/coq/pretyping.cma
@comment MD5:87acea3e5c141658220fb9df89dc4ce6
lib/coq/pretyping.cmxa
@comment MD5:5cf58ac029c27fee8e23c765c495333e
lib/coq/proofs.cma
@comment MD5:2020f610dfa0e75b27dfb6b1a3f063a1
lib/coq/proofs.cmxa
@comment MD5:44c4e06a0575ca0aa358154788c13660
lib/coq/states/initial.coq
@comment MD5:52d415d317756d35a8600dc24c949f59
@dirrm lib/coq/states
lib/coq/tactics.cma
@comment MD5:3b8772864f44ca9bad773b207d3d53ef
lib/coq/tactics.cmxa
@comment MD5:6cc125d8f7c18a1e8552d87b843965ef
lib/coq/theories/Arith/Arith.vo
@comment MD5:a0bba582bfd5489b67ca67b93712fd3a
lib/coq/theories/Arith/Arith_base.vo
@comment MD5:b14a528de408ed537a3b132caa51b429
lib/coq/theories/Arith/Between.vo
@comment MD5:500001292fd64bf476fc533113328953
lib/coq/theories/Arith/Bool_nat.vo
@comment MD5:3b5953b024bb166c2408cc4533655818
lib/coq/theories/Arith/Compare.vo
@comment MD5:eed0fde16d4721fc5e5672942897b58f
lib/coq/theories/Arith/Compare_dec.vo
@comment MD5:e3679dfee324f79541c784e038c6397f
lib/coq/theories/Arith/Div2.vo
@comment MD5:dad541325f64647e12a46c78b4de0546
lib/coq/theories/Arith/EqNat.vo
@comment MD5:ef75923a4e97929265084607e2ab9cf4
lib/coq/theories/Arith/Euclid.vo
@comment MD5:0f770b116bba832bd7b8e831b6fcfa63
lib/coq/theories/Arith/Even.vo
@comment MD5:d52e7eccdc3165064127881a0c5a960c
lib/coq/theories/Arith/Factorial.vo
@comment MD5:fd43ccb187d6cac46bebc7142def91a7
lib/coq/theories/Arith/Gt.vo
@comment MD5:9995206db3680151101f34192485ef35
lib/coq/theories/Arith/Le.vo
@comment MD5:9191d96c46c667b0a50b9ac0bbcf5f43
lib/coq/theories/Arith/Lt.vo
@comment MD5:d6184b0f1105ce5c1b1b7fd413f4cab6
lib/coq/theories/Arith/Max.vo
@comment MD5:3b3e0cf9f8ce978dd8cd643600b8e8c8
lib/coq/theories/Arith/Min.vo
@comment MD5:1c0e448e7c87f1ac9acc3051b9f1d6a9
lib/coq/theories/Arith/Minus.vo
@comment MD5:83ab1cea0f06c2634a1bba9eec8e6a71
lib/coq/theories/Arith/Mult.vo
@comment MD5:96f1493c168237a9b5552dfe21cc4543
lib/coq/theories/Arith/Peano_dec.vo
@comment MD5:7e31dcfb13b1c587ecb4d817810ad167
lib/coq/theories/Arith/Plus.vo
@comment MD5:8b2b37f0cc37b5094ca6d6384e90e6bc
lib/coq/theories/Arith/Wf_nat.vo
@comment MD5:e2bd03dfc4399b6e44ec6167469598f9
@dirrm lib/coq/theories/Arith
lib/coq/theories/Bool/Bool.vo
@comment MD5:e6ba88616e077f67f5cd1fef152e74e0
lib/coq/theories/Bool/BoolEq.vo
@comment MD5:8eb0385e333143cf7079d9de6100f8d0
lib/coq/theories/Bool/Bvector.vo
@comment MD5:673f24939b3a1347218d7d6bbe3bf26d
lib/coq/theories/Bool/DecBool.vo
@comment MD5:7096c587e314782a68b3a81f5960d705
lib/coq/theories/Bool/IfProp.vo
@comment MD5:73c8a915aa2f881d1c117c36884ec74b
lib/coq/theories/Bool/Sumbool.vo
@comment MD5:d33bea68e785672e95f8101bd8abbb2b
lib/coq/theories/Bool/Zerob.vo
@comment MD5:def818390237008554c8b559bd9bb7a1
@dirrm lib/coq/theories/Bool
lib/coq/theories/FSets/FMapAVL.vo
@comment MD5:0c0d99040db310e697cc8afb480ba6c8
lib/coq/theories/FSets/FMapFacts.vo
@comment MD5:d6a955cd0d89a2b7f2a1f6f8f142873a
lib/coq/theories/FSets/FMapIntMap.vo
@comment MD5:06ce7459853b6b8cd813c5ea9717b984
lib/coq/theories/FSets/FMapInterface.vo
@comment MD5:3b6a8797f1ce45fa764e72873d17be1a
lib/coq/theories/FSets/FMapList.vo
@comment MD5:38bc715946d768ca1489431219a0b2ed
lib/coq/theories/FSets/FMapPositive.vo
@comment MD5:57d775d44befcd71e10b592fdf35b8c1
lib/coq/theories/FSets/FMapWeak.vo
@comment MD5:a7c4dbf0b2e7c11812d4573d3423b06d
lib/coq/theories/FSets/FMapWeakFacts.vo
@comment MD5:5f0fe7c69676e6a832e2b1dd637e8788
lib/coq/theories/FSets/FMapWeakInterface.vo
@comment MD5:eb19488595daa1f544e99831c5aff787
lib/coq/theories/FSets/FMapWeakList.vo
@comment MD5:97ceb8d368cbe129623972e25c88aedd
lib/coq/theories/FSets/FMaps.vo
@comment MD5:3f260a903b8b14021f9b231c5e687c54
lib/coq/theories/FSets/FSetAVL.vo
@comment MD5:976392da8f956c5e5feb47fee73f920d
lib/coq/theories/FSets/FSetBridge.vo
@comment MD5:6976f2e14c000525e96096cb5b13c73a
lib/coq/theories/FSets/FSetEqProperties.vo
@comment MD5:525f734f1220ef49f92e8dbb17cfa89f
lib/coq/theories/FSets/FSetFacts.vo
@comment MD5:42da6ac12af164a144f6dd1eeaa561c7
lib/coq/theories/FSets/FSetInterface.vo
@comment MD5:3c8cb457ac6fc355447c7e8c9b5d64d8
lib/coq/theories/FSets/FSetList.vo
@comment MD5:8159739485539a76669fe8f73642009c
lib/coq/theories/FSets/FSetProperties.vo
@comment MD5:d3ec3b0dd1dcfd7e11e7e1a72b383507
lib/coq/theories/FSets/FSetToFiniteSet.vo
@comment MD5:d01346ce9b1b13d7a7ab811cd5fc67c8
lib/coq/theories/FSets/FSetWeak.vo
@comment MD5:807d81324bf56033008744f370c87d12
lib/coq/theories/FSets/FSetWeakFacts.vo
@comment MD5:77af93cb6d051d375ba127bd315d94ca
lib/coq/theories/FSets/FSetWeakInterface.vo
@comment MD5:904fffbf1e337c0a45c80f9a9011daf5
lib/coq/theories/FSets/FSetWeakList.vo
@comment MD5:888d179cb6606d20c01ebafb2a9a9347
lib/coq/theories/FSets/FSetWeakProperties.vo
@comment MD5:299a9c99d4b7062f3df975cc6a139432
lib/coq/theories/FSets/FSets.vo
@comment MD5:e199df7706b18d08686650433b7ca52d
lib/coq/theories/FSets/OrderedType.vo
@comment MD5:d98d8ab9b787adf7f5c1496646782a16
lib/coq/theories/FSets/OrderedTypeAlt.vo
@comment MD5:7b809e52a48a93c961cf8476399cb106
lib/coq/theories/FSets/OrderedTypeEx.vo
@comment MD5:3b556c01555959369822cdfc9f6dc2be
@dirrm lib/coq/theories/FSets
lib/coq/theories/Init/Datatypes.vo
@comment MD5:baa60f1a64205c1cfa742b0751de8a31
lib/coq/theories/Init/Logic.vo
@comment MD5:d45c23460986b6175e6ec0d651686e2a
lib/coq/theories/Init/Logic_Type.vo
@comment MD5:dd4ec8bb9252f4c66a6ea4c4760a6d14
lib/coq/theories/Init/Notations.vo
@comment MD5:cc244c29773d60efb042470de592c0ef
lib/coq/theories/Init/Peano.vo
@comment MD5:81fa0a7a8446a68fe666b1c984d65b85
lib/coq/theories/Init/Prelude.vo
@comment MD5:3db4bd4a00da71601a97d66d863818b0
lib/coq/theories/Init/Specif.vo
@comment MD5:4c9a2f35b03cf95b515558ac73f844e2
lib/coq/theories/Init/Tactics.vo
@comment MD5:5f66877b0eb2120d39f3003c5a7ca145
lib/coq/theories/Init/Wf.vo
@comment MD5:8d47892768f318753a80e3849435bf9b
@dirrm lib/coq/theories/Init
lib/coq/theories/IntMap/Adalloc.vo
@comment MD5:8d72e5a788818fa372356ef4f8915cb7
lib/coq/theories/IntMap/Allmaps.vo
@comment MD5:eab12a5c684f96f1296e93d0b8a81bfb
lib/coq/theories/IntMap/Fset.vo
@comment MD5:a6dc43f31f2fe6b7b6c3b902b8e00047
lib/coq/theories/IntMap/Lsort.vo
@comment MD5:17c25753580267bb27797a097daa3df8
lib/coq/theories/IntMap/Map.vo
@comment MD5:410e7eab111a6ae71639ffc6cb5ca8b8
lib/coq/theories/IntMap/Mapaxioms.vo
@comment MD5:f7b5c7530bfe9ec070337a86efe856df
lib/coq/theories/IntMap/Mapc.vo
@comment MD5:0b73bbd17bcf087b3c844f44a0a71c24
lib/coq/theories/IntMap/Mapcanon.vo
@comment MD5:8dc8f736cdfda017c4b3feeacafb612b
lib/coq/theories/IntMap/Mapcard.vo
@comment MD5:0362ef82051865d83cc91ef062de89c4
lib/coq/theories/IntMap/Mapfold.vo
@comment MD5:cc5b5ff49caf62f19ce5868a4fb778ed
lib/coq/theories/IntMap/Mapiter.vo
@comment MD5:77bae4f254b45badc9daf21b61cabcc5
lib/coq/theories/IntMap/Maplists.vo
@comment MD5:e029f35791a195fcd7cfe386bf2f1810
lib/coq/theories/IntMap/Mapsubset.vo
@comment MD5:6c4f6ddba1b93c6725eb7fa25841082f
@dirrm lib/coq/theories/IntMap
lib/coq/theories/Lists/List.vo
@comment MD5:39495f81da2a078b462855355245a79d
lib/coq/theories/Lists/ListSet.vo
@comment MD5:9f28120307f4be8640d68e4ecaafb222
lib/coq/theories/Lists/ListTactics.vo
@comment MD5:f865e509c42c1e3b278851a074591d3d
lib/coq/theories/Lists/MonoList.vo
@comment MD5:3fce712b597177f2019850668a18133c
lib/coq/theories/Lists/SetoidList.vo
@comment MD5:3d42589225328a71878734ddbfc23f94
lib/coq/theories/Lists/Streams.vo
@comment MD5:f4829d3e4adfad7a86958c8db4bf475b
lib/coq/theories/Lists/TheoryList.vo
@comment MD5:65d70b7bd077805ab2dbc2db4ce1beb5
@dirrm lib/coq/theories/Lists
lib/coq/theories/Logic/Berardi.vo
@comment MD5:e5a7bb114974091982b719f012bf3e87
lib/coq/theories/Logic/ChoiceFacts.vo
@comment MD5:5d0d2a71fd1038bb17b3ab05f63b0c33
lib/coq/theories/Logic/Classical.vo
@comment MD5:462c832ab4c49049a2a2955714e4a78d
lib/coq/theories/Logic/ClassicalChoice.vo
@comment MD5:13af8f0fad668942550283c09142d9f4
lib/coq/theories/Logic/ClassicalDescription.vo
@comment MD5:27e0c18c3d825be3407328db41d70de3
lib/coq/theories/Logic/ClassicalEpsilon.vo
@comment MD5:86071d0fe1aa10350dcc842ca2cef59a
lib/coq/theories/Logic/ClassicalFacts.vo
@comment MD5:43084f9badab765b78152760383f5f27
lib/coq/theories/Logic/ClassicalUniqueChoice.vo
@comment MD5:e7e6e9a946e366c101c90702fcf4c1f6
lib/coq/theories/Logic/Classical_Pred_Set.vo
@comment MD5:6e4a357b9bb662bdd2786fb2bc0905b1
lib/coq/theories/Logic/Classical_Pred_Type.vo
@comment MD5:17bc5da6294c4cb19a395c953e82d6f7
lib/coq/theories/Logic/Classical_Prop.vo
@comment MD5:49511100e845f8f08f77823085cc13ba
lib/coq/theories/Logic/Classical_Type.vo
@comment MD5:a2e83696dec6fbe087bf22c19f534a34
lib/coq/theories/Logic/ConstructiveEpsilon.vo
@comment MD5:70a0d1f46aaf909d9e707215cae07e42
lib/coq/theories/Logic/Decidable.vo
@comment MD5:08a4d459d47233589f06388f5f0dae59
lib/coq/theories/Logic/DecidableType.vo
@comment MD5:7e647c05d28df6cef612523b80bb5410
lib/coq/theories/Logic/DecidableTypeEx.vo
@comment MD5:a91a19f0c6805516df4f1f50546e48e7
lib/coq/theories/Logic/Diaconescu.vo
@comment MD5:9c455794211735da5ae885023b606bf4
lib/coq/theories/Logic/Eqdep.vo
@comment MD5:75f9e15d602650d7cdf1a9d3369a416a
lib/coq/theories/Logic/EqdepFacts.vo
@comment MD5:c010a65abb99cfb29cb11fbf2e59984e
lib/coq/theories/Logic/Eqdep_dec.vo
@comment MD5:dce09eddb693f3c974cc2c11bb026394
lib/coq/theories/Logic/Hurkens.vo
@comment MD5:ac9c21405e4be395e277db2ac9477208
lib/coq/theories/Logic/JMeq.vo
@comment MD5:de110bd7ec06497e2fcb528b1268e730
lib/coq/theories/Logic/ProofIrrelevance.vo
@comment MD5:f0f45c24508dba4ce0807154fd7aa72d
lib/coq/theories/Logic/ProofIrrelevanceFacts.vo
@comment MD5:7303f2dc5ef502295020cd7f9afed5b0
lib/coq/theories/Logic/RelationalChoice.vo
@comment MD5:bc8f94f150d5adb7345604ed5c068551
@dirrm lib/coq/theories/Logic
lib/coq/theories/NArith/BinNat.vo
@comment MD5:4ae532a8c5e173b6d271ea94712b904a
lib/coq/theories/NArith/BinPos.vo
@comment MD5:a1a214e78e591dbf97aeb06d0d321f0c
lib/coq/theories/NArith/NArith.vo
@comment MD5:13f8057198a3511be36192b9493a4047
lib/coq/theories/NArith/Ndec.vo
@comment MD5:099c1b0fc9df8fa249b4bf5d5167f0c6
lib/coq/theories/NArith/Ndigits.vo
@comment MD5:80d8373b4518c129ee638b54a200e3ae
lib/coq/theories/NArith/Ndist.vo
@comment MD5:77656aaf07cc2ad77020a07fec58eeb5
lib/coq/theories/NArith/Nnat.vo
@comment MD5:5f6c33261053bf6f14cb2d27420f7e23
lib/coq/theories/NArith/Pnat.vo
@comment MD5:b017dc722bb4c7192fe77b47689bbe51
@dirrm lib/coq/theories/NArith
lib/coq/theories/QArith/QArith.vo
@comment MD5:fb7d4603d403d8b0da1d87fb55c34347
lib/coq/theories/QArith/QArith_base.vo
@comment MD5:f90cd039bd9c2f1f3d6d718b3b03664c
lib/coq/theories/QArith/Qcanon.vo
@comment MD5:da3fe02e5b8069e78daa765cca8e4b96
lib/coq/theories/QArith/Qreals.vo
@comment MD5:286c6f91c2026e3c8f075ad6c07e7733
lib/coq/theories/QArith/Qreduction.vo
@comment MD5:b63cd37f8e4b5072579d2bcb5159ca70
lib/coq/theories/QArith/Qring.vo
@comment MD5:a5aaa2f7aa85e16b9f11f279f6af0fbb
@dirrm lib/coq/theories/QArith
lib/coq/theories/Reals/Alembert.vo
@comment MD5:ff70d73562b28698badca9365c4ae884
lib/coq/theories/Reals/AltSeries.vo
@comment MD5:4ffa7c8ec50bc2563bff132442c310fa
lib/coq/theories/Reals/ArithProp.vo
@comment MD5:0b0efc9ec0d90ef9c9bc2e4c804fa974
lib/coq/theories/Reals/Binomial.vo
@comment MD5:cf847aea7d6e0eaa4212686d97638806
lib/coq/theories/Reals/Cauchy_prod.vo
@comment MD5:1702396b9c3985919156208c5e5bda07
lib/coq/theories/Reals/Cos_plus.vo
@comment MD5:53e1cb84c658bceeb152b979253f9aae
lib/coq/theories/Reals/Cos_rel.vo
@comment MD5:60cf54a751d42867f4d361ed6a3554d1
lib/coq/theories/Reals/DiscrR.vo
@comment MD5:70be4ae152f3d28f442751faae46f3b4
lib/coq/theories/Reals/Exp_prop.vo
@comment MD5:3cd95859c882b70f4bf3d2ecc0ee1e46
lib/coq/theories/Reals/Integration.vo
@comment MD5:b2cdc75d07403b95a29a3194d7606e69
lib/coq/theories/Reals/LegacyRfield.vo
@comment MD5:328b28b0fd43b763dada2ac1b9be7759
lib/coq/theories/Reals/MVT.vo
@comment MD5:16f56035e20f7a7d8d3df2de9091c8a2
lib/coq/theories/Reals/NewtonInt.vo
@comment MD5:2954840989ae73e8e90c65dcc54929b5
lib/coq/theories/Reals/PSeries_reg.vo
@comment MD5:40ff2c42f7625a219884bd2a36286118
lib/coq/theories/Reals/PartSum.vo
@comment MD5:91c9daac7130c1267ab566583494a0a2
lib/coq/theories/Reals/RIneq.vo
@comment MD5:26e9fd15b18b6d3741dbef76c5c64cfa
lib/coq/theories/Reals/RList.vo
@comment MD5:2d7b37a3baca9e2d12e653683b00435d
lib/coq/theories/Reals/R_Ifp.vo
@comment MD5:ebd712f6b9f54c88aa3ea616c01d61c9
lib/coq/theories/Reals/R_sqr.vo
@comment MD5:c83b2d472f7d86c5d58593e753cf1a91
lib/coq/theories/Reals/R_sqrt.vo
@comment MD5:928ae55122e0a4be4b90a38f7204e105
lib/coq/theories/Reals/Ranalysis.vo
@comment MD5:1a804ce68028597ef992ed90c1aad9f1
lib/coq/theories/Reals/Ranalysis1.vo
@comment MD5:a88dca56b53d256a1d2a2680c5b4a6a9
lib/coq/theories/Reals/Ranalysis2.vo
@comment MD5:5317de8421899ece26556260c9788a1f
lib/coq/theories/Reals/Ranalysis3.vo
@comment MD5:a9521ce1b7308cd904a672921a61c84d
lib/coq/theories/Reals/Ranalysis4.vo
@comment MD5:b8dd6f415b9483447ec94f66fd84d1fd
lib/coq/theories/Reals/Raxioms.vo
@comment MD5:c2b87a01a78f05bb098d267ea6deb5b3
lib/coq/theories/Reals/Rbase.vo
@comment MD5:308608736963cfba427ea2ca27a237c5
lib/coq/theories/Reals/Rbasic_fun.vo
@comment MD5:bd2bca508d1fb0f981b5fc8dff1fa30e
lib/coq/theories/Reals/Rcomplete.vo
@comment MD5:bb5bcec61a363c95e6e9b69883eda552
lib/coq/theories/Reals/Rdefinitions.vo
@comment MD5:d9c15637b7005c9116ddad1b1a3f554e
lib/coq/theories/Reals/Rderiv.vo
@comment MD5:f120239b5c2b5f71eb0f2fe16ee6fb7b
lib/coq/theories/Reals/Reals.vo
@comment MD5:9563c598dcc689c6d0ccaaea0ce18c1c
lib/coq/theories/Reals/Rfunctions.vo
@comment MD5:a1a6335ce3ff7a02cfd291a0147ad81d
lib/coq/theories/Reals/Rgeom.vo
@comment MD5:b59104cfe3d1c5b26f76e4474286efe5
lib/coq/theories/Reals/RiemannInt.vo
@comment MD5:37cd3505412aedc4b342f6ce1907f6d5
lib/coq/theories/Reals/RiemannInt_SF.vo
@comment MD5:c8af41619bd0e3a456b989e433492e53
lib/coq/theories/Reals/Rlimit.vo
@comment MD5:b68c2df57ce189b1743f3500336541cf
lib/coq/theories/Reals/Rpow_def.vo
@comment MD5:5bf8f71922b4f1d17533fa022e59f935
lib/coq/theories/Reals/Rpower.vo
@comment MD5:0c9b7a40a3cebd05fe47f66374590ebc
lib/coq/theories/Reals/Rprod.vo
@comment MD5:fcbb26cd7540f64ba07342dac70bbfc6
lib/coq/theories/Reals/Rseries.vo
@comment MD5:42c978e642c8202ddb1ba5dc2a67fbdb
lib/coq/theories/Reals/Rsigma.vo
@comment MD5:012ff33d39007db0b37b0a1e22a42773
lib/coq/theories/Reals/Rsqrt_def.vo
@comment MD5:45fa0cb7d4b02c9afbaaf9f6bbc4502b
lib/coq/theories/Reals/Rtopology.vo
@comment MD5:48029092f54e3a1dd6299002afe74cd0
lib/coq/theories/Reals/Rtrigo.vo
@comment MD5:a73d534e9751536a20dc84c8eb7a0ae9
lib/coq/theories/Reals/Rtrigo_alt.vo
@comment MD5:66b09008aac20d0be47ea882417fc227
lib/coq/theories/Reals/Rtrigo_calc.vo
@comment MD5:2fdd65c7f484fb6f28a09d01666ad7e6
lib/coq/theories/Reals/Rtrigo_def.vo
@comment MD5:0e478d687e23edc88a47d0601d1dab92
lib/coq/theories/Reals/Rtrigo_fun.vo
@comment MD5:081e26a7966d8b6506eb10179fc78687
lib/coq/theories/Reals/Rtrigo_reg.vo
@comment MD5:a5213b9998708c2523197fe2ff8ebc91
lib/coq/theories/Reals/SeqProp.vo
@comment MD5:9a30d0ea2dd96bd2481f55eb4825b63a
lib/coq/theories/Reals/SeqSeries.vo
@comment MD5:e5f63ffcc719d85b2bc73a6dfee23a4f
lib/coq/theories/Reals/SplitAbsolu.vo
@comment MD5:ef1069b554fc36d0f6d0b649b1cebec0
lib/coq/theories/Reals/SplitRmult.vo
@comment MD5:72482c42bff8a100b132eb3f6cdf224f
lib/coq/theories/Reals/Sqrt_reg.vo
@comment MD5:4b98f7f40db4c9c851a4265ebbb98e20
@dirrm lib/coq/theories/Reals
lib/coq/theories/Relations/Newman.vo
@comment MD5:db2c3e9c04f0126cf3ae2f48685ed64b
lib/coq/theories/Relations/Operators_Properties.vo
@comment MD5:5bea2b629e6aba92c5c5e7a9c092c346
lib/coq/theories/Relations/Relation_Definitions.vo
@comment MD5:4e47ef8ea586901ca9172e2d9c978233
lib/coq/theories/Relations/Relation_Operators.vo
@comment MD5:3c41f381b55f46f9cccb356e87cae9bb
lib/coq/theories/Relations/Relations.vo
@comment MD5:5f4dbc8b92fd4a3f8ee260e43affaa80
lib/coq/theories/Relations/Rstar.vo
@comment MD5:07d283fe7d0709fff03ba9b6e1f920a0
@dirrm lib/coq/theories/Relations
lib/coq/theories/Setoids/Setoid.vo
@comment MD5:f37ded26d8f341140a1368cf42302f86
@dirrm lib/coq/theories/Setoids
lib/coq/theories/Sets/Classical_sets.vo
@comment MD5:943f72700194cda00e15471319c25b13
lib/coq/theories/Sets/Constructive_sets.vo
@comment MD5:9b1226d756be4954502bfff0f3964144
lib/coq/theories/Sets/Cpo.vo
@comment MD5:3f12e3f8ed0d33e555dc47a6d7ff7854
lib/coq/theories/Sets/Ensembles.vo
@comment MD5:edf119848192f4a19b7c48ecf12ceeef
lib/coq/theories/Sets/Finite_sets.vo
@comment MD5:239dd510a4eed449f217b62cdda0e3af
lib/coq/theories/Sets/Finite_sets_facts.vo
@comment MD5:6265e33907dc0dd9611961fc4766b802
lib/coq/theories/Sets/Image.vo
@comment MD5:006e3152a81f2ef19bfa9b5c99523797
lib/coq/theories/Sets/Infinite_sets.vo
@comment MD5:6a8e2e2c1de950a3bed5a295c1f06f6c
lib/coq/theories/Sets/Integers.vo
@comment MD5:02bc96ee2876e9a06b885ab0212a95b0
lib/coq/theories/Sets/Multiset.vo
@comment MD5:7139226a4e47f3dfca90ffd33000c5bd
lib/coq/theories/Sets/Partial_Order.vo
@comment MD5:238a1cd8c2e69ec38cea841f69c23f76
lib/coq/theories/Sets/Permut.vo
@comment MD5:79b78209bb4eb0c937f8bc0852c3ed32
lib/coq/theories/Sets/Powerset.vo
@comment MD5:c53a9a54ba3b57d152fc21eaadb7e220
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@comment MD5:0f8d861d1e6130f46f281443668655f7
lib/coq/theories/Sets/Powerset_facts.vo
@comment MD5:60dd2aa726345cee14029164d7f999c4
lib/coq/theories/Sets/Relations_1.vo
@comment MD5:beb4e55593f9099cd425e26ac3057f50
lib/coq/theories/Sets/Relations_1_facts.vo
@comment MD5:cd437b7e10bf1bdfd3fe1a5a276d42ca
lib/coq/theories/Sets/Relations_2.vo
@comment MD5:49a711c7a38fc40314abd8b30955f7ef
lib/coq/theories/Sets/Relations_2_facts.vo
@comment MD5:829ae302dcb4c67caf99a9ad0ed0e073
lib/coq/theories/Sets/Relations_3.vo
@comment MD5:28131842a5aa3f83acf45f8caf281e31
lib/coq/theories/Sets/Relations_3_facts.vo
@comment MD5:dd777666046c7004e9f4f2d36010a752
lib/coq/theories/Sets/Uniset.vo
@comment MD5:3428d7722dfc8e5a4a45061a17399444
@dirrm lib/coq/theories/Sets
lib/coq/theories/Sorting/Heap.vo
@comment MD5:d558da9cd60c20df0eaad27b1db70d6d
lib/coq/theories/Sorting/PermutEq.vo
@comment MD5:bf5a0319ce3a3015af4c479e0dc171e7
lib/coq/theories/Sorting/PermutSetoid.vo
@comment MD5:745a6167fc82f1e3cffd1f93a842137c
lib/coq/theories/Sorting/Permutation.vo
@comment MD5:bf22055ffb4915c1021962117e2b7df9
lib/coq/theories/Sorting/Sorting.vo
@comment MD5:04aab0bb9b6c6e825ffd5a3e854379d2
@dirrm lib/coq/theories/Sorting
lib/coq/theories/Strings/Ascii.vo
@comment MD5:0d5be0a064ea9e173aa66737602fac81
lib/coq/theories/Strings/String.vo
@comment MD5:ad8ba43f84677e994015f3f5951b90d2
@dirrm lib/coq/theories/Strings
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@comment MD5:aaefb6daa1821c8f5085de4c8d123d48
lib/coq/theories/Wellfounded/Inclusion.vo
@comment MD5:05f274c62fa4632b8a0635797c1213d2
lib/coq/theories/Wellfounded/Inverse_Image.vo
@comment MD5:1e35f89aee021cc77b4ce2df63b9f226
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@comment MD5:fc57fd5aed53bb820bbebf3319de69ab
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@comment MD5:4c2bdcb2222776617079d563ccd7e69b
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@comment MD5:98fa7759054741028d2626d667d18ab9
lib/coq/theories/Wellfounded/Union.vo
@comment MD5:825a603c954c6a8c97e1f36cce3352c9
lib/coq/theories/Wellfounded/Well_Ordering.vo
@comment MD5:292421ea765c6693e2df0b4327bd414d
lib/coq/theories/Wellfounded/Wellfounded.vo
@comment MD5:68b24491d0b331da0264e46470749804
@dirrm lib/coq/theories/Wellfounded
lib/coq/theories/ZArith/BinInt.vo
@comment MD5:66a315aaccc89dffc331b2dafa387035
lib/coq/theories/ZArith/Int.vo
@comment MD5:4945f2a6295233e3912306521df43b67
lib/coq/theories/ZArith/Wf_Z.vo
@comment MD5:c20dda05b7bee29640033d3837c9c39d
lib/coq/theories/ZArith/ZArith.vo
@comment MD5:52bd280a0640f35a8e92ab0d8d5067a7
lib/coq/theories/ZArith/ZArith_base.vo
@comment MD5:75db1ad024f7daf0b067a7bd2a8fcd9d
lib/coq/theories/ZArith/ZArith_dec.vo
@comment MD5:c1ad5fa1f282e5f4a797ee84cb4c61be
lib/coq/theories/ZArith/Zabs.vo
@comment MD5:71656b1ef5c73af5e9384c583ac01ebf
lib/coq/theories/ZArith/Zbinary.vo
@comment MD5:5344d47d8a03f2c6c38519330a924ad5
lib/coq/theories/ZArith/Zbool.vo
@comment MD5:1063c234261f376e774184e99cdbdf71
lib/coq/theories/ZArith/Zcompare.vo
@comment MD5:823e1edfcec439e5150688530bea9117
lib/coq/theories/ZArith/Zcomplements.vo
@comment MD5:4c729b6428570df6ee719ed9d4e78eec
lib/coq/theories/ZArith/Zdiv.vo
@comment MD5:788c4788830c596f8dcaaee82be523a3
lib/coq/theories/ZArith/Zeven.vo
@comment MD5:4c2de36e1fe684c013cdc9ba319d6c9a
lib/coq/theories/ZArith/Zhints.vo
@comment MD5:8c0d25f3aa20c1aedccefccba5c7f734
lib/coq/theories/ZArith/Zlogarithm.vo
@comment MD5:c5ee772914da7d1e85b7834645900619
lib/coq/theories/ZArith/Zmax.vo
@comment MD5:910f47d08c738362919ad8986713639a
lib/coq/theories/ZArith/Zmin.vo
@comment MD5:24c4e81eefbacc37abb9b1bf6ca84e53
lib/coq/theories/ZArith/Zminmax.vo
@comment MD5:193988f1a87f38739cf5e54937eaba51
lib/coq/theories/ZArith/Zmisc.vo
@comment MD5:2b611662fecc7f4028b1b73912918fee
lib/coq/theories/ZArith/Znat.vo
@comment MD5:981a5e8b3cfb38d34072b2149a4929ed
lib/coq/theories/ZArith/Znumtheory.vo
@comment MD5:2c838ef546ea6cdf73dc561840cbf7bf
lib/coq/theories/ZArith/Zorder.vo
@comment MD5:bcbe40528e91d68442b6e782563b35ed
lib/coq/theories/ZArith/Zpow_def.vo
@comment MD5:3be4a146022e26a49582a84f3569d680
lib/coq/theories/ZArith/Zpower.vo
@comment MD5:6ea02f72a776911011c648a4cb378a48
lib/coq/theories/ZArith/Zsqrt.vo
@comment MD5:e0ac6e1db3750db3ce7b060e5538deaf
lib/coq/theories/ZArith/Zwf.vo
@comment MD5:7d9172a16926134a1e6ded747b33d4e5
lib/coq/theories/ZArith/auxiliary.vo
@comment MD5:18509515fefb81b78dd98b9245ffd036
@dirrm lib/coq/theories/ZArith
@dirrm lib/coq/theories
lib/coq/tools/coqdoc/coqdoc.css
@comment MD5:479ce83d68c11a4c3bd4c0274c6f2daa
lib/coq/tools/coqdoc/coqdoc.sty
@comment MD5:69b27f34de6b9d5527e8bebcd7e59fec
@dirrm lib/coq/tools/coqdoc
@dirrm lib/coq/tools
lib/coq/toplevel.cma
@comment MD5:ecb7495d0a22d5efce881343cbc2d71e
lib/coq/toplevel.cmxa
@comment MD5:a1e99223a76fc9afb1594a8c5d17eb1e
@exec mkdir -p %D/lib/coq/user-contrib
@dirrm lib/coq/user-contrib
@dirrm lib/coq
share/emacs/site-lisp/coq-inferior.el
@comment MD5:6760f9d7587e5a9606458acd0d2789ca
share/emacs/site-lisp/coq.el
@comment MD5:4c5493a16889e2b0f361f0a7ac971476
share/emacs/site-lisp/coqdoc.sty
@comment MD5:69b27f34de6b9d5527e8bebcd7e59fec
share/doc/coq/CHANGES
@comment MD5:7db06b7806283540c0dd49d4c6d575ee
share/doc/coq/COPYRIGHT
@comment MD5:3c5a35208b253b90554745952fd4a954
share/doc/coq/CREDITS
@comment MD5:8d8ea03d4fff52ef5f52d6bfdf4a8d1e
share/doc/coq/INSTALL
@comment MD5:05d8013f1f9d388efd7ba98995db9060
share/doc/coq/LICENSE
@comment MD5:085e7fb76fb3fa8ba9e9ed0ce95a43f9
share/doc/coq/README
@comment MD5:aed0cece9a832f1da01c16ca4424551e
@dirrm share/doc/coq
@cwd .
@ignore
+COMMENT
@comment MD5:e2938c36a66539c65e0a948fb0664d49
@ignore
+DESC
@comment MD5:3889a56766a160ec25af5a2c05e49f76
@ignore
+MTREE_DIRS
@comment MD5:219b9fb84bdcc9c6d574c11ea5a3efd9
@mtree +MTREE_DIRS
