lang/coq/DESCR: e1adb2d2ea0ebba0c0503e40fe4dd210f664cecdb1b5b48e20fc798a283e7fb7
lang/coq/Makefile: 66ee1e2fd7d5821f02b760de0b846f0895796ffb9e9e77bbad22c5b9f18bc7b1
lang/coq/PLIST: 836c28f52ad7c647678676ca00bba304ab74268e0e09dc01351bcf7feafb6acd
lang/coq/distinfo: 3904c5fb7bdb72c89c0a8229398cefba757ab1d31d8c168266454f96198a7783
lang/coq/options.mk: c86e75e1995c196e1d477ee6ae29a1c9e1c7cf0cb08641b90350309d08552784
lang/coq/patches/patch-tools_coqdoc_dune: 540e1ff517a9709f2ed78133bc9ee4a4b9a66d1cebb23071a6a4958118235ec4
