Index of pub/pkgsrc/stable/pkgsrc/lang/coq/patches/

NameLast modifiedSize
Parent Directory28-Dec-2023 18:431kB
CVS/28-Dec-2023 18:431kB
patch-Makefile.install21-Jun-2022 02:211kB
patch-Makefile.make21-Jun-2022 02:211kB
patch-tools_configure_coqide.ml21-Jun-2022 02:211kB
patch-tools_coqdoc_dune21-Jun-2022 02:211kB