├── .github └── workflows │ ├── macos.yml │ ├── ubuntu.yml │ ├── ubuntu_dev.yml │ └── windows.yml ├── .gitignore ├── COPYING ├── README.md ├── charter.md ├── coq_platform_make.sh ├── coq_platform_make_windows.bat ├── doc ├── DependencyGraph~8.12.pdf ├── DependencyGraph~8.13~2021.02.pdf ├── DependencyGraph~8.13~2021.09.pdf ├── DependencyGraph~8.13~2022.01.pdf ├── DependencyGraph~8.14~2022.01.pdf ├── DependencyGraph~8.14~2022.04.pdf ├── DependencyGraph~8.15~2022.04.pdf ├── DependencyGraph~8.15~2022.09.pdf ├── DependencyGraph~8.16~2022.09.pdf ├── DependencyGraph~8.16~2023.08.pdf ├── DependencyGraph~8.17~2023.08.pdf ├── DependencyGraph~8.18~2023.11.pdf ├── DependencyGraph~8.18~mc2.pdf ├── DependencyGraph~8.19~2024.10.pdf ├── DependencyGraph~8.20~2025.01.pdf ├── FAQ-customized-installers.md ├── PackageTable~8.12.csv ├── PackageTable~8.13~2021.02.csv ├── PackageTable~8.13~2021.09.csv ├── PackageTable~8.13~2022.01.csv ├── PackageTable~8.14~2022.01.csv ├── PackageTable~8.14~2022.04.csv ├── PackageTable~8.15~2022.04.csv ├── PackageTable~8.15~2022.09.csv ├── PackageTable~8.16~2022.09.csv ├── PackageTable~8.16~2023.08.csv ├── PackageTable~8.17~2023.08.csv ├── PackageTable~8.18~2023.11.csv ├── PackageTable~8.18~mc2.csv ├── PackageTable~8.19~2024.10.csv ├── PackageTable~8.20~2025.01.csv ├── PackageTable~dev.csv ├── README_Linux.md ├── README_Windows.md ├── README_macOS.md ├── README~8.12.md ├── README~8.13~2021.02.md ├── README~8.13~2021.09.md ├── README~8.13~2022.01.md ├── README~8.14~2022.01.md ├── README~8.14~2022.04.md ├── README~8.15~2022.04.md ├── README~8.15~2022.09.md ├── README~8.16~2022.09.md ├── README~8.16~2023.08.md ├── README~8.17~2023.08.md ├── README~8.18~2023.11.md ├── README~8.18~mc2.md ├── README~8.19~2024.10.md ├── README~8.20~2025.01.md └── README~dev.md ├── example_coq_platform_make.sh ├── example_coq_platform_make_windows.bat ├── example_coq_platform_make_windows_32.bat ├── example_coq_platform_make_windows_coq_ci.bat ├── linux ├── SNAP NOT SUPPORTED.md ├── create_snapcraft_yaml.sh ├── example_build_snap_lxd.sh └── snap │ ├── README.md │ ├── coq-env.sh │ ├── coq-prover.desktop.in │ ├── coq-shell.sh │ ├── coq_wrapper │ ├── create_image_snap.sh │ ├── github_actions │ ├── README.md │ └── run_snap.sh │ └── snapcraft.yaml.in ├── macos ├── Info.plist.template ├── Installation.html.template ├── coq-env.sh.template ├── coq-shell.command.template ├── create_installer_macos.sh ├── wrapper_bin_folder.c └── wrapper_macos_folder.c ├── maintainer_doc ├── legacy_packages.md └── release_process.md ├── maintainer_scripts ├── build_all.sh ├── build_seq.sh ├── count_lines_of_code.sh ├── create_readme.sh ├── create_readme_all.sh ├── create_readme_zsh_port.sh ├── notify-upstream.sh ├── package-version-info.sh ├── packages_already_processed.txt ├── patch_opam_package_allow_new_coq.sh ├── patch_opam_package_auto.sh ├── patch_opam_package_latest_commit.sh └── spdx_known.txt ├── notes ├── memory_consumption_parallel_build.log └── opam-depext.md ├── opam ├── ReadMe.md ├── opam-coq-archive │ ├── extra-dev │ │ ├── packages │ │ │ ├── .dummy │ │ │ ├── coq-compcert-32 │ │ │ │ └── coq-compcert-32.dev │ │ │ │ │ └── files │ │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ ├── coq-compcert │ │ │ │ └── coq-compcert.dev │ │ │ │ │ └── files │ │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ ├── coq-flocq │ │ │ │ └── coq-flocq.preview │ │ │ │ │ └── opam │ │ │ ├── coq-flocq3 │ │ │ │ └── coq-flocq3.dev │ │ │ │ │ ├── files │ │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ │ │ └── opam │ │ │ ├── coq-hott │ │ │ │ └── coq-hott.preview │ │ │ │ │ └── opam │ │ │ ├── coq-iris-heap-lang │ │ │ │ └── coq-iris-heap-lang.dev │ │ │ │ │ └── opam │ │ │ ├── coq-iris │ │ │ │ └── coq-iris.dev │ │ │ │ │ └── opam │ │ │ ├── coq-mathcomp-word │ │ │ │ └── coq-mathcomp-word.dev │ │ │ │ │ └── opam │ │ │ ├── coq-record-update │ │ │ │ └── coq-record-update.dev │ │ │ │ │ └── opam │ │ │ ├── coq-reduction-effects │ │ │ │ └── coq-reduction-effects.dev │ │ │ │ │ └── opam │ │ │ └── coq-stdpp │ │ │ │ └── coq-stdpp.dev │ │ │ │ └── opam │ │ ├── repo │ │ └── version │ └── released │ │ ├── packages │ │ ├── .dummy │ │ ├── coq-compcert-32 │ │ │ └── coq-compcert-32.3.10 │ │ │ │ ├── files │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ │ └── opam │ │ ├── coq-compcert │ │ │ └── coq-compcert.3.10 │ │ │ │ ├── files │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ │ └── opam │ │ ├── coq-coqprime │ │ │ └── coq-coqprime.1.6.0 │ │ │ │ └── opam │ │ ├── coq-coquelicot │ │ │ └── coq-coquelicot.3.4.4 │ │ │ │ └── opam │ │ ├── coq-flocq │ │ │ └── coq-flocq.4.2.1 │ │ │ │ └── opam │ │ ├── coq-flocq3 │ │ │ └── coq-flocq3.3.4.3 │ │ │ │ ├── files │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ │ └── opam │ │ ├── coq-gappa-flocq3 │ │ │ └── coq-gappa-flocq3.1.5.1 │ │ │ │ ├── files │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ │ └── opam │ │ ├── coq-hammer-tactics │ │ │ └── coq-hammer-tactics.1.3.2+8.20 │ │ │ │ └── opam │ │ ├── coq-interval-flocq3 │ │ │ └── coq-interval-flocq3.4.4.0 │ │ │ │ ├── files │ │ │ │ └── 0001-Rename-Flocq-to-Flocq3.patch │ │ │ │ └── opam │ │ ├── coq-interval │ │ │ └── coq-interval.4.11.3 │ │ │ │ └── opam │ │ ├── coq-itauto │ │ │ ├── coq-itauto.8.18.0 │ │ │ │ ├── files │ │ │ │ │ └── 0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch │ │ │ │ └── opam │ │ │ ├── coq-itauto.8.19.0 │ │ │ │ ├── files │ │ │ │ │ └── 0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch │ │ │ │ └── opam │ │ │ └── coq-itauto.8.20.0 │ │ │ │ ├── files │ │ │ │ └── 0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch │ │ │ │ └── opam │ │ ├── coq-metacoq-template │ │ │ ├── coq-metacoq-template.1.1+8.15 │ │ │ │ ├── files │ │ │ │ │ └── 0001-Fix-line-ending-issues-with-generated-code-on-Window.patch │ │ │ │ └── opam │ │ │ ├── coq-metacoq-template.1.2+8.16 │ │ │ │ ├── files │ │ │ │ │ └── Fix make issues Coq Platform CI.patch │ │ │ │ └── opam │ │ │ ├── coq-metacoq-template.1.2+8.17 │ │ │ │ ├── files │ │ │ │ │ └── Fix make issues Coq Platform CI.patch │ │ │ │ └── opam │ │ │ ├── coq-metacoq-template.1.2.1+8.18 │ │ │ │ ├── files │ │ │ │ │ └── Fix make issues Coq Platform CI.patch │ │ │ │ └── opam │ │ │ └── coq-metacoq-template.1.3.1+8.19 │ │ │ │ ├── files │ │ │ │ └── Fix make issues Coq Platform CI.patch │ │ │ │ └── opam │ │ ├── coq-mtac2 │ │ │ └── coq-mtac2.1.4+8.19 │ │ │ │ ├── files │ │ │ │ └── 0001-use-new-way-of-loading-ML-module-makes-Unicoq-module.patch │ │ │ │ └── opam │ │ ├── coq-quickchick │ │ │ └── coq-quickchick.2.0.3 │ │ │ │ ├── files │ │ │ │ └── 0001-Fix-mycppo-script-for-Windows.patch │ │ │ │ └── opam │ │ ├── coq-rewriter │ │ │ └── coq-rewriter.0.0.6 │ │ │ │ ├── files │ │ │ │ ├── 0001-Comment-out-Search-command-cause-of-stack-overflow.patch │ │ │ │ └── 0001-Fix-for-realpath-not-in-zsh-91.patch │ │ │ │ └── opam │ │ └── coq-unicoq │ │ │ └── coq-unicoq.1.6+8.20 │ │ │ └── opam │ │ ├── repo │ │ └── version └── opam-repository │ ├── packages │ ├── conf-gtk3 │ │ └── conf-gtk3.18 │ │ │ └── opam │ ├── conf-gtksourceview3 │ │ └── conf-gtksourceview3.0+2 │ │ │ └── opam │ ├── conf-python-3 │ │ └── conf-python-3.9.0.0 │ │ │ ├── files │ │ │ └── test.py │ │ │ └── opam │ ├── coq-core │ │ ├── coq-core.8.17.0 │ │ │ ├── files │ │ │ │ └── 0001-coq_makefile-put-file-to-install-list-in-file-instea.patch │ │ │ └── opam │ │ ├── coq-core.8.17.1 │ │ │ ├── files │ │ │ │ ├── 0001-coq_makefile-put-file-to-install-list-in-file-instea.patch │ │ │ │ ├── 0001-coqdep-Windows-fix-normalisation-of-paths-containing.patch │ │ │ │ └── PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch │ │ │ └── opam │ │ ├── coq-core.8.18.0 │ │ │ ├── files │ │ │ │ ├── 0001-ocamldep-fix-to_relative_path-on-Windows.patch │ │ │ │ └── PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch │ │ │ └── opam │ │ ├── coq-core.8.19.2.ltac2debug │ │ │ ├── files │ │ │ │ └── 0001-Windows-fix-path-normalization-in-coqdep.patch │ │ │ └── opam │ │ ├── coq-core.8.19.2 │ │ │ ├── files │ │ │ │ ├── 0001-Windows-fix-path-normalization-in-coqdep.patch │ │ │ │ └── PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch │ │ │ └── opam │ │ └── coq-core.8.20.0 │ │ │ ├── files │ │ │ └── 0001-Windows-fix-path-normalization-in-coqdep.patch │ │ │ └── opam │ ├── coq-stdlib │ │ └── coq-stdlib.8.19.2.ltac2debug │ │ │ └── opam │ ├── coq │ │ ├── coq.8.13.2 │ │ │ ├── files │ │ │ │ ├── aux_file.patch │ │ │ │ ├── coq.install │ │ │ │ └── unlistable_dirs_in_path.patch │ │ │ └── opam │ │ └── coq.8.19.2.ltac2debug │ │ │ └── opam │ ├── coqide-server │ │ └── coqide-server.8.19.2.ltac2debug │ │ │ └── opam │ ├── coqide │ │ ├── coqide.8.17.1 │ │ │ ├── files │ │ │ │ └── PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch │ │ │ └── opam │ │ ├── coqide.8.18.0 │ │ │ ├── files │ │ │ │ └── PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch │ │ │ └── opam │ │ ├── coqide.8.19.2.ltac2debug │ │ │ └── opam │ │ └── coqide.8.19.2 │ │ │ ├── files │ │ │ └── PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch │ │ │ └── opam │ ├── dep-glib-compiled-schemas │ │ └── dep-glib-compiled-schemas.1.0 │ │ │ └── opam │ ├── dep-gtksourceview3 │ │ └── dep-gtksourceview3.24.11 │ │ │ └── opam │ ├── dune-configurator │ │ └── dune-configurator.3.16.1 │ │ │ └── opam │ ├── dune │ │ ├── dune.3.15.3 │ │ │ ├── files │ │ │ │ └── 0001-Windows-retry-a-file-remove-a-virus-checker-might-lo.patch │ │ │ └── opam │ │ └── dune.3.16.1 │ │ │ ├── files │ │ │ └── 0001-Windows-retry-a-file-remove-a-virus-checker-might-lo.patch │ │ │ └── opam │ ├── elpi │ │ ├── elpi.1.16.5 │ │ │ └── opam │ │ └── elpi.2.0.6 │ │ │ └── opam │ ├── gappa │ │ └── gappa.1.3.5 │ │ │ └── opam │ ├── gmake │ │ └── gmake.4.4.1 │ │ │ └── opam │ ├── lablgtk3 │ │ ├── lablgtk3.3.0.beta5 │ │ │ ├── files │ │ │ │ └── lablgtk3-3.0.beta5.patch │ │ │ └── opam │ │ ├── lablgtk3.3.1.1 │ │ │ ├── files │ │ │ │ └── 0001-Add-function-channel_of_descr_socket-windows-has-dif.patch │ │ │ └── opam │ │ ├── lablgtk3.3.1.2 │ │ │ ├── files │ │ │ │ ├── 0001-Add-function-channel_of_descr_socket-windows-has-dif.patch │ │ │ │ └── dune-project.patch │ │ │ └── opam │ │ ├── lablgtk3.3.1.3 │ │ │ ├── files │ │ │ │ └── 0001-Add-function-channel_of_descr_socket-windows-has-dif.patch │ │ │ └── opam │ │ └── lablgtk3.3.1.4 │ │ │ ├── files │ │ │ └── 0001-Add-function-channel_of_descr_socket-windows-has-dif.patch │ │ │ └── opam │ ├── ocamlfind │ │ └── ocamlfind.1.9.5~relocatable │ │ │ ├── files │ │ │ ├── 0001-Allow-executable-relative-paths-staring-with.patch │ │ │ ├── 0001-Fix-bug-when-installing-with-a-system-compiler.patch │ │ │ ├── 0001-Windows-allow-and-as-path-separator.patch │ │ │ └── findlib-1.9.5.patch │ │ │ └── opam │ └── z3_tptp │ │ ├── z3_tptp.4.13.0 │ │ └── opam │ │ └── z3_tptp.4.13.3 │ │ └── opam │ ├── repo │ └── version ├── package_picks ├── coq_platform_release.sh ├── coq_platform_switch_name.sh ├── package-pick-8.12.sh ├── package-pick-8.13~2021.02.sh ├── package-pick-8.13~2021.09.sh ├── package-pick-8.13~2022.01.sh ├── package-pick-8.14~2022.01.sh ├── package-pick-8.14~2022.04.sh ├── package-pick-8.15~2022.04.sh ├── package-pick-8.15~2022.09.sh ├── package-pick-8.16~2022.09.sh ├── package-pick-8.16~2023.08.sh ├── package-pick-8.17~2023.08.sh ├── package-pick-8.18~2023.11.sh ├── package-pick-8.18~mc2.sh ├── package-pick-8.19-2024.01+ltac2-debugger.sh ├── package-pick-8.19~2024.10.sh ├── package-pick-8.20~2025.01.sh ├── package-pick-9.0+preview~2025.08.sh └── package-pick-dev.sh ├── shell_scripts ├── ask_compcert_open_source.sh ├── ask_delete_opam_switch.sh ├── ask_fiat-crypto.sh ├── ask_introduction.sh ├── ask_large.sh ├── ask_long_path.sh ├── ask_packagelist.sh ├── ask_parallel_build.sh ├── ask_unimath.sh ├── ask_vst.sh ├── build.sh ├── check_compiler.sh ├── check_opam_sandbox.sh ├── check_system.sh ├── closing_remarks.sh ├── coq_platform_override_dev_pkg.sh ├── create_smoke_test_kit.sh ├── get_names_from_switch.sh ├── init_cygwin_fixes.sh ├── init_machine_type.sh ├── init_macos_set_deployment_target.sh ├── init_paths.sh ├── init_safety_debug.sh ├── init_utilities.sh ├── install_ocaml_stacksize.sh ├── install_opam.sh ├── install_opam_depext.sh ├── install_system_prerequisites.sh ├── installer_create_tree.sh ├── installer_utilities.sh ├── parse_cmdline_arguments.sh ├── post_system.sh └── sanitize_environment.sh ├── test_files ├── coq-extructures │ └── tutorial.v ├── coq-hammer │ ├── test_eprover.v │ └── test_z3.v ├── coq-mathcomp-word │ ├── test.v │ └── test_upto_8_16.v ├── coq-ott │ └── regexp.v └── coq-serapi │ └── serapi_example └── windows ├── Coq.nsi ├── FileAssociation.nsh ├── ReplaceInFile.nsh ├── StrRep.nsh ├── configure_profile.sh ├── coq-shell.bat ├── coq-shell.ico ├── create_installer_windows.sh ├── default-manifest.rc ├── developer_notes └── Notes_coqide_linkcommand.md ├── link_shared_libraries.sh ├── long-paths.md └── set_stack_size ├── dune ├── dune-project └── set_stack_size.ml /.github/workflows/macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/.github/workflows/macos.yml -------------------------------------------------------------------------------- /.github/workflows/ubuntu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/.github/workflows/ubuntu.yml -------------------------------------------------------------------------------- /.github/workflows/ubuntu_dev.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/.github/workflows/ubuntu_dev.yml -------------------------------------------------------------------------------- /.github/workflows/windows.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/.github/workflows/windows.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/COPYING -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/README.md -------------------------------------------------------------------------------- /charter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/charter.md -------------------------------------------------------------------------------- /coq_platform_make.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/coq_platform_make.sh -------------------------------------------------------------------------------- /coq_platform_make_windows.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/coq_platform_make_windows.bat -------------------------------------------------------------------------------- /doc/DependencyGraph~8.12.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.12.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.13~2021.02.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.13~2021.02.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.13~2021.09.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.13~2021.09.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.13~2022.01.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.13~2022.01.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.14~2022.01.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.14~2022.01.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.14~2022.04.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.14~2022.04.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.15~2022.04.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.15~2022.04.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.15~2022.09.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.15~2022.09.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.16~2022.09.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.16~2022.09.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.16~2023.08.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.16~2023.08.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.17~2023.08.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.17~2023.08.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.18~2023.11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.18~2023.11.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.18~mc2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.18~mc2.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.19~2024.10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.19~2024.10.pdf -------------------------------------------------------------------------------- /doc/DependencyGraph~8.20~2025.01.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/DependencyGraph~8.20~2025.01.pdf -------------------------------------------------------------------------------- /doc/FAQ-customized-installers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/FAQ-customized-installers.md -------------------------------------------------------------------------------- /doc/PackageTable~8.12.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.12.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.13~2021.02.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.13~2021.02.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.13~2021.09.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.13~2021.09.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.13~2022.01.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.13~2022.01.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.14~2022.01.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.14~2022.01.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.14~2022.04.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.14~2022.04.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.15~2022.04.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.15~2022.04.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.15~2022.09.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.15~2022.09.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.16~2022.09.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.16~2022.09.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.16~2023.08.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.16~2023.08.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.17~2023.08.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.17~2023.08.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.18~2023.11.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.18~2023.11.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.18~mc2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.18~mc2.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.19~2024.10.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.19~2024.10.csv -------------------------------------------------------------------------------- /doc/PackageTable~8.20~2025.01.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~8.20~2025.01.csv -------------------------------------------------------------------------------- /doc/PackageTable~dev.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/PackageTable~dev.csv -------------------------------------------------------------------------------- /doc/README_Linux.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README_Linux.md -------------------------------------------------------------------------------- /doc/README_Windows.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README_Windows.md -------------------------------------------------------------------------------- /doc/README_macOS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README_macOS.md -------------------------------------------------------------------------------- /doc/README~8.12.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.12.md -------------------------------------------------------------------------------- /doc/README~8.13~2021.02.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.13~2021.02.md -------------------------------------------------------------------------------- /doc/README~8.13~2021.09.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.13~2021.09.md -------------------------------------------------------------------------------- /doc/README~8.13~2022.01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.13~2022.01.md -------------------------------------------------------------------------------- /doc/README~8.14~2022.01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.14~2022.01.md -------------------------------------------------------------------------------- /doc/README~8.14~2022.04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.14~2022.04.md -------------------------------------------------------------------------------- /doc/README~8.15~2022.04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.15~2022.04.md -------------------------------------------------------------------------------- /doc/README~8.15~2022.09.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.15~2022.09.md -------------------------------------------------------------------------------- /doc/README~8.16~2022.09.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.16~2022.09.md -------------------------------------------------------------------------------- /doc/README~8.16~2023.08.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.16~2023.08.md -------------------------------------------------------------------------------- /doc/README~8.17~2023.08.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.17~2023.08.md -------------------------------------------------------------------------------- /doc/README~8.18~2023.11.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.18~2023.11.md -------------------------------------------------------------------------------- /doc/README~8.18~mc2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.18~mc2.md -------------------------------------------------------------------------------- /doc/README~8.19~2024.10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.19~2024.10.md -------------------------------------------------------------------------------- /doc/README~8.20~2025.01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~8.20~2025.01.md -------------------------------------------------------------------------------- /doc/README~dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/doc/README~dev.md -------------------------------------------------------------------------------- /example_coq_platform_make.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/example_coq_platform_make.sh -------------------------------------------------------------------------------- /example_coq_platform_make_windows.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/example_coq_platform_make_windows.bat -------------------------------------------------------------------------------- /example_coq_platform_make_windows_32.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/example_coq_platform_make_windows_32.bat -------------------------------------------------------------------------------- /example_coq_platform_make_windows_coq_ci.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/example_coq_platform_make_windows_coq_ci.bat -------------------------------------------------------------------------------- /linux/SNAP NOT SUPPORTED.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/SNAP NOT SUPPORTED.md -------------------------------------------------------------------------------- /linux/create_snapcraft_yaml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/create_snapcraft_yaml.sh -------------------------------------------------------------------------------- /linux/example_build_snap_lxd.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/example_build_snap_lxd.sh -------------------------------------------------------------------------------- /linux/snap/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/README.md -------------------------------------------------------------------------------- /linux/snap/coq-env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/coq-env.sh -------------------------------------------------------------------------------- /linux/snap/coq-prover.desktop.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/coq-prover.desktop.in -------------------------------------------------------------------------------- /linux/snap/coq-shell.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/coq-shell.sh -------------------------------------------------------------------------------- /linux/snap/coq_wrapper: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/coq_wrapper -------------------------------------------------------------------------------- /linux/snap/create_image_snap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/create_image_snap.sh -------------------------------------------------------------------------------- /linux/snap/github_actions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/github_actions/README.md -------------------------------------------------------------------------------- /linux/snap/github_actions/run_snap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/github_actions/run_snap.sh -------------------------------------------------------------------------------- /linux/snap/snapcraft.yaml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/linux/snap/snapcraft.yaml.in -------------------------------------------------------------------------------- /macos/Info.plist.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/Info.plist.template -------------------------------------------------------------------------------- /macos/Installation.html.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/Installation.html.template -------------------------------------------------------------------------------- /macos/coq-env.sh.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/coq-env.sh.template -------------------------------------------------------------------------------- /macos/coq-shell.command.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/coq-shell.command.template -------------------------------------------------------------------------------- /macos/create_installer_macos.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/create_installer_macos.sh -------------------------------------------------------------------------------- /macos/wrapper_bin_folder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/wrapper_bin_folder.c -------------------------------------------------------------------------------- /macos/wrapper_macos_folder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/macos/wrapper_macos_folder.c -------------------------------------------------------------------------------- /maintainer_doc/legacy_packages.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_doc/legacy_packages.md -------------------------------------------------------------------------------- /maintainer_doc/release_process.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_doc/release_process.md -------------------------------------------------------------------------------- /maintainer_scripts/build_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/build_all.sh -------------------------------------------------------------------------------- /maintainer_scripts/build_seq.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/build_seq.sh -------------------------------------------------------------------------------- /maintainer_scripts/count_lines_of_code.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/count_lines_of_code.sh -------------------------------------------------------------------------------- /maintainer_scripts/create_readme.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/create_readme.sh -------------------------------------------------------------------------------- /maintainer_scripts/create_readme_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/create_readme_all.sh -------------------------------------------------------------------------------- /maintainer_scripts/create_readme_zsh_port.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/create_readme_zsh_port.sh -------------------------------------------------------------------------------- /maintainer_scripts/notify-upstream.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/notify-upstream.sh -------------------------------------------------------------------------------- /maintainer_scripts/package-version-info.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/package-version-info.sh -------------------------------------------------------------------------------- /maintainer_scripts/packages_already_processed.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/packages_already_processed.txt -------------------------------------------------------------------------------- /maintainer_scripts/patch_opam_package_allow_new_coq.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/patch_opam_package_allow_new_coq.sh -------------------------------------------------------------------------------- /maintainer_scripts/patch_opam_package_auto.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/patch_opam_package_auto.sh -------------------------------------------------------------------------------- /maintainer_scripts/patch_opam_package_latest_commit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/patch_opam_package_latest_commit.sh -------------------------------------------------------------------------------- /maintainer_scripts/spdx_known.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/maintainer_scripts/spdx_known.txt -------------------------------------------------------------------------------- /notes/memory_consumption_parallel_build.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/notes/memory_consumption_parallel_build.log -------------------------------------------------------------------------------- /notes/opam-depext.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/notes/opam-depext.md -------------------------------------------------------------------------------- /opam/ReadMe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/ReadMe.md -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/.dummy: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-flocq/coq-flocq.preview/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-flocq/coq-flocq.preview/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-flocq3/coq-flocq3.dev/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-flocq3/coq-flocq3.dev/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-hott/coq-hott.preview/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-hott/coq-hott.preview/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-iris-heap-lang/coq-iris-heap-lang.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-iris-heap-lang/coq-iris-heap-lang.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-iris/coq-iris.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-iris/coq-iris.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-mathcomp-word/coq-mathcomp-word.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-mathcomp-word/coq-mathcomp-word.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-record-update/coq-record-update.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-record-update/coq-record-update.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-reduction-effects/coq-reduction-effects.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-reduction-effects/coq-reduction-effects.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/packages/coq-stdpp/coq-stdpp.dev/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/extra-dev/packages/coq-stdpp/coq-stdpp.dev/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/repo: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | 3 | -------------------------------------------------------------------------------- /opam/opam-coq-archive/extra-dev/version: -------------------------------------------------------------------------------- 1 | 0.0.0 2 | -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/.dummy: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-compcert-32/coq-compcert-32.3.10/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-compcert-32/coq-compcert-32.3.10/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-compcert-32/coq-compcert-32.3.10/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-compcert-32/coq-compcert-32.3.10/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-compcert/coq-compcert.3.10/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-compcert/coq-compcert.3.10/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-compcert/coq-compcert.3.10/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-compcert/coq-compcert.3.10/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-coqprime/coq-coqprime.1.6.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-coqprime/coq-coqprime.1.6.0/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-coquelicot/coq-coquelicot.3.4.4/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-coquelicot/coq-coquelicot.3.4.4/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-flocq/coq-flocq.4.2.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-flocq/coq-flocq.4.2.1/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-flocq3/coq-flocq3.3.4.3/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-flocq3/coq-flocq3.3.4.3/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-flocq3/coq-flocq3.3.4.3/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-flocq3/coq-flocq3.3.4.3/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-gappa-flocq3/coq-gappa-flocq3.1.5.1/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-gappa-flocq3/coq-gappa-flocq3.1.5.1/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-gappa-flocq3/coq-gappa-flocq3.1.5.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-gappa-flocq3/coq-gappa-flocq3.1.5.1/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.20/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.20/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-interval-flocq3/coq-interval-flocq3.4.4.0/files/0001-Rename-Flocq-to-Flocq3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-interval-flocq3/coq-interval-flocq3.4.4.0/files/0001-Rename-Flocq-to-Flocq3.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-interval-flocq3/coq-interval-flocq3.4.4.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-interval-flocq3/coq-interval-flocq3.4.4.0/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-interval/coq-interval.4.11.3/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-interval/coq-interval.4.11.3/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.18.0/files/0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.18.0/files/0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.18.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.18.0/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.19.0/files/0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.19.0/files/0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.19.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.19.0/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.20.0/files/0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.20.0/files/0001-Remove-root-on-dune-calls-does-not-work-on-Windows-M.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.20.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-itauto/coq-itauto.8.20.0/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.15/files/0001-Fix-line-ending-issues-with-generated-code-on-Window.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.15/files/0001-Fix-line-ending-issues-with-generated-code-on-Window.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.15/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.1+8.15/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/files/Fix make issues Coq Platform CI.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/files/Fix make issues Coq Platform CI.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/files/Fix make issues Coq Platform CI.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/files/Fix make issues Coq Platform CI.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/files/Fix make issues Coq Platform CI.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/files/Fix make issues Coq Platform CI.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/files/Fix make issues Coq Platform CI.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/files/Fix make issues Coq Platform CI.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.19/files/0001-use-new-way-of-loading-ML-module-makes-Unicoq-module.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.19/files/0001-use-new-way-of-loading-ML-module-makes-Unicoq-module.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.19/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.19/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-quickchick/coq-quickchick.2.0.3/files/0001-Fix-mycppo-script-for-Windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-quickchick/coq-quickchick.2.0.3/files/0001-Fix-mycppo-script-for-Windows.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-quickchick/coq-quickchick.2.0.3/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/files/0001-Comment-out-Search-command-cause-of-stack-overflow.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/files/0001-Comment-out-Search-command-cause-of-stack-overflow.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/files/0001-Fix-for-realpath-not-in-zsh-91.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/files/0001-Fix-for-realpath-not-in-zsh-91.patch -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/packages/coq-unicoq/coq-unicoq.1.6+8.20/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-coq-archive/released/packages/coq-unicoq/coq-unicoq.1.6+8.20/opam -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/repo: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | 3 | -------------------------------------------------------------------------------- /opam/opam-coq-archive/released/version: -------------------------------------------------------------------------------- 1 | 0.0.0 2 | -------------------------------------------------------------------------------- /opam/opam-repository/packages/conf-gtk3/conf-gtk3.18/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/conf-gtk3/conf-gtk3.18/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/conf-gtksourceview3/conf-gtksourceview3.0+2/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/conf-gtksourceview3/conf-gtksourceview3.0+2/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/conf-python-3/conf-python-3.9.0.0/files/test.py: -------------------------------------------------------------------------------- 1 | print('python-3 OK') 2 | -------------------------------------------------------------------------------- /opam/opam-repository/packages/conf-python-3/conf-python-3.9.0.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/conf-python-3/conf-python-3.9.0.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.17.0/files/0001-coq_makefile-put-file-to-install-list-in-file-instea.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.17.0/files/0001-coq_makefile-put-file-to-install-list-in-file-instea.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.17.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.17.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.17.1/files/0001-coq_makefile-put-file-to-install-list-in-file-instea.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.17.1/files/0001-coq_makefile-put-file-to-install-list-in-file-instea.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.17.1/files/0001-coqdep-Windows-fix-normalisation-of-paths-containing.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.17.1/files/0001-coqdep-Windows-fix-normalisation-of-paths-containing.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.17.1/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.17.1/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.17.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.17.1/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.18.0/files/0001-ocamldep-fix-to_relative_path-on-Windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.18.0/files/0001-ocamldep-fix-to_relative_path-on-Windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.18.0/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.18.0/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.18.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.18.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.19.2.ltac2debug/files/0001-Windows-fix-path-normalization-in-coqdep.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.19.2.ltac2debug/files/0001-Windows-fix-path-normalization-in-coqdep.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.19.2.ltac2debug/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.19.2.ltac2debug/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.19.2/files/0001-Windows-fix-path-normalization-in-coqdep.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.19.2/files/0001-Windows-fix-path-normalization-in-coqdep.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.19.2/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.19.2/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.19.2/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.19.2/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.20.0/files/0001-Windows-fix-path-normalization-in-coqdep.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.20.0/files/0001-Windows-fix-path-normalization-in-coqdep.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-core/coq-core.8.20.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-core/coq-core.8.20.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq-stdlib/coq-stdlib.8.19.2.ltac2debug/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq-stdlib/coq-stdlib.8.19.2.ltac2debug/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq/coq.8.13.2/files/aux_file.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq/coq.8.13.2/files/aux_file.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq/coq.8.13.2/files/coq.install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq/coq.8.13.2/files/coq.install -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq/coq.8.13.2/files/unlistable_dirs_in_path.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq/coq.8.13.2/files/unlistable_dirs_in_path.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq/coq.8.13.2/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq/coq.8.13.2/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coq/coq.8.19.2.ltac2debug/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coq/coq.8.19.2.ltac2debug/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide-server/coqide-server.8.19.2.ltac2debug/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide-server/coqide-server.8.19.2.ltac2debug/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.17.1/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.17.1/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.17.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.17.1/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.18.0/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.18.0/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.18.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.18.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.19.2.ltac2debug/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.19.2.ltac2debug/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.19.2/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.19.2/files/PR19247-ported-Fix-coqide-compilation-with-lablgtk-3.1.5-on-windows.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/coqide/coqide.8.19.2/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/coqide/coqide.8.19.2/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/dep-glib-compiled-schemas/dep-glib-compiled-schemas.1.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dep-glib-compiled-schemas/dep-glib-compiled-schemas.1.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/dep-gtksourceview3/dep-gtksourceview3.24.11/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dep-gtksourceview3/dep-gtksourceview3.24.11/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/dune-configurator/dune-configurator.3.16.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dune-configurator/dune-configurator.3.16.1/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/dune/dune.3.15.3/files/0001-Windows-retry-a-file-remove-a-virus-checker-might-lo.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dune/dune.3.15.3/files/0001-Windows-retry-a-file-remove-a-virus-checker-might-lo.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/dune/dune.3.15.3/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dune/dune.3.15.3/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/dune/dune.3.16.1/files/0001-Windows-retry-a-file-remove-a-virus-checker-might-lo.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dune/dune.3.16.1/files/0001-Windows-retry-a-file-remove-a-virus-checker-might-lo.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/dune/dune.3.16.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/dune/dune.3.16.1/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/elpi/elpi.1.16.5/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/elpi/elpi.1.16.5/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/elpi/elpi.2.0.6/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/elpi/elpi.2.0.6/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/gappa/gappa.1.3.5/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/gappa/gappa.1.3.5/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/gmake/gmake.4.4.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/gmake/gmake.4.4.1/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.0.beta5/files/lablgtk3-3.0.beta5.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.0.beta5/files/lablgtk3-3.0.beta5.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.0.beta5/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.0.beta5/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.1/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.1/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.1/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.1/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/files/dune-project.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/files/dune-project.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.2/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.3/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.3/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.3/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.3/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.4/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.4/files/0001-Add-function-channel_of_descr_socket-windows-has-dif.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.4/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/lablgtk3/lablgtk3.3.1.4/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/0001-Allow-executable-relative-paths-staring-with.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/0001-Allow-executable-relative-paths-staring-with.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/0001-Fix-bug-when-installing-with-a-system-compiler.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/0001-Fix-bug-when-installing-with-a-system-compiler.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/0001-Windows-allow-and-as-path-separator.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/0001-Windows-allow-and-as-path-separator.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/findlib-1.9.5.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/files/findlib-1.9.5.patch -------------------------------------------------------------------------------- /opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/ocamlfind/ocamlfind.1.9.5~relocatable/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/z3_tptp/z3_tptp.4.13.0/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/z3_tptp/z3_tptp.4.13.0/opam -------------------------------------------------------------------------------- /opam/opam-repository/packages/z3_tptp/z3_tptp.4.13.3/opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/opam/opam-repository/packages/z3_tptp/z3_tptp.4.13.3/opam -------------------------------------------------------------------------------- /opam/opam-repository/repo: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | 3 | -------------------------------------------------------------------------------- /opam/opam-repository/version: -------------------------------------------------------------------------------- 1 | 0.0.0 2 | -------------------------------------------------------------------------------- /package_picks/coq_platform_release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/coq_platform_release.sh -------------------------------------------------------------------------------- /package_picks/coq_platform_switch_name.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/coq_platform_switch_name.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.12.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.12.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.13~2021.02.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.13~2021.02.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.13~2021.09.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.13~2021.09.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.13~2022.01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.13~2022.01.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.14~2022.01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.14~2022.01.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.14~2022.04.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.14~2022.04.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.15~2022.04.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.15~2022.04.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.15~2022.09.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.15~2022.09.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.16~2022.09.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.16~2022.09.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.16~2023.08.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.16~2023.08.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.17~2023.08.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.17~2023.08.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.18~2023.11.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.18~2023.11.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.18~mc2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.18~mc2.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.19-2024.01+ltac2-debugger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.19-2024.01+ltac2-debugger.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.19~2024.10.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.19~2024.10.sh -------------------------------------------------------------------------------- /package_picks/package-pick-8.20~2025.01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-8.20~2025.01.sh -------------------------------------------------------------------------------- /package_picks/package-pick-9.0+preview~2025.08.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-9.0+preview~2025.08.sh -------------------------------------------------------------------------------- /package_picks/package-pick-dev.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/package_picks/package-pick-dev.sh -------------------------------------------------------------------------------- /shell_scripts/ask_compcert_open_source.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_compcert_open_source.sh -------------------------------------------------------------------------------- /shell_scripts/ask_delete_opam_switch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_delete_opam_switch.sh -------------------------------------------------------------------------------- /shell_scripts/ask_fiat-crypto.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_fiat-crypto.sh -------------------------------------------------------------------------------- /shell_scripts/ask_introduction.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_introduction.sh -------------------------------------------------------------------------------- /shell_scripts/ask_large.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_large.sh -------------------------------------------------------------------------------- /shell_scripts/ask_long_path.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_long_path.sh -------------------------------------------------------------------------------- /shell_scripts/ask_packagelist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_packagelist.sh -------------------------------------------------------------------------------- /shell_scripts/ask_parallel_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_parallel_build.sh -------------------------------------------------------------------------------- /shell_scripts/ask_unimath.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_unimath.sh -------------------------------------------------------------------------------- /shell_scripts/ask_vst.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/ask_vst.sh -------------------------------------------------------------------------------- /shell_scripts/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/build.sh -------------------------------------------------------------------------------- /shell_scripts/check_compiler.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/check_compiler.sh -------------------------------------------------------------------------------- /shell_scripts/check_opam_sandbox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/check_opam_sandbox.sh -------------------------------------------------------------------------------- /shell_scripts/check_system.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/check_system.sh -------------------------------------------------------------------------------- /shell_scripts/closing_remarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/closing_remarks.sh -------------------------------------------------------------------------------- /shell_scripts/coq_platform_override_dev_pkg.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/coq_platform_override_dev_pkg.sh -------------------------------------------------------------------------------- /shell_scripts/create_smoke_test_kit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/create_smoke_test_kit.sh -------------------------------------------------------------------------------- /shell_scripts/get_names_from_switch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/get_names_from_switch.sh -------------------------------------------------------------------------------- /shell_scripts/init_cygwin_fixes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/init_cygwin_fixes.sh -------------------------------------------------------------------------------- /shell_scripts/init_machine_type.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/init_machine_type.sh -------------------------------------------------------------------------------- /shell_scripts/init_macos_set_deployment_target.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/init_macos_set_deployment_target.sh -------------------------------------------------------------------------------- /shell_scripts/init_paths.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/init_paths.sh -------------------------------------------------------------------------------- /shell_scripts/init_safety_debug.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/init_safety_debug.sh -------------------------------------------------------------------------------- /shell_scripts/init_utilities.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/init_utilities.sh -------------------------------------------------------------------------------- /shell_scripts/install_ocaml_stacksize.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/install_ocaml_stacksize.sh -------------------------------------------------------------------------------- /shell_scripts/install_opam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/install_opam.sh -------------------------------------------------------------------------------- /shell_scripts/install_opam_depext.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/install_opam_depext.sh -------------------------------------------------------------------------------- /shell_scripts/install_system_prerequisites.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/install_system_prerequisites.sh -------------------------------------------------------------------------------- /shell_scripts/installer_create_tree.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/installer_create_tree.sh -------------------------------------------------------------------------------- /shell_scripts/installer_utilities.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/installer_utilities.sh -------------------------------------------------------------------------------- /shell_scripts/parse_cmdline_arguments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/parse_cmdline_arguments.sh -------------------------------------------------------------------------------- /shell_scripts/post_system.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/post_system.sh -------------------------------------------------------------------------------- /shell_scripts/sanitize_environment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/shell_scripts/sanitize_environment.sh -------------------------------------------------------------------------------- /test_files/coq-extructures/tutorial.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-extructures/tutorial.v -------------------------------------------------------------------------------- /test_files/coq-hammer/test_eprover.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-hammer/test_eprover.v -------------------------------------------------------------------------------- /test_files/coq-hammer/test_z3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-hammer/test_z3.v -------------------------------------------------------------------------------- /test_files/coq-mathcomp-word/test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-mathcomp-word/test.v -------------------------------------------------------------------------------- /test_files/coq-mathcomp-word/test_upto_8_16.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-mathcomp-word/test_upto_8_16.v -------------------------------------------------------------------------------- /test_files/coq-ott/regexp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-ott/regexp.v -------------------------------------------------------------------------------- /test_files/coq-serapi/serapi_example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/test_files/coq-serapi/serapi_example -------------------------------------------------------------------------------- /windows/Coq.nsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/Coq.nsi -------------------------------------------------------------------------------- /windows/FileAssociation.nsh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/FileAssociation.nsh -------------------------------------------------------------------------------- /windows/ReplaceInFile.nsh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/ReplaceInFile.nsh -------------------------------------------------------------------------------- /windows/StrRep.nsh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/StrRep.nsh -------------------------------------------------------------------------------- /windows/configure_profile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/configure_profile.sh -------------------------------------------------------------------------------- /windows/coq-shell.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/coq-shell.bat -------------------------------------------------------------------------------- /windows/coq-shell.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/coq-shell.ico -------------------------------------------------------------------------------- /windows/create_installer_windows.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/create_installer_windows.sh -------------------------------------------------------------------------------- /windows/default-manifest.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/default-manifest.rc -------------------------------------------------------------------------------- /windows/developer_notes/Notes_coqide_linkcommand.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/developer_notes/Notes_coqide_linkcommand.md -------------------------------------------------------------------------------- /windows/link_shared_libraries.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/link_shared_libraries.sh -------------------------------------------------------------------------------- /windows/long-paths.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/long-paths.md -------------------------------------------------------------------------------- /windows/set_stack_size/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name set_stack_size) 3 | (libraries unix)) 4 | -------------------------------------------------------------------------------- /windows/set_stack_size/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/set_stack_size/dune-project -------------------------------------------------------------------------------- /windows/set_stack_size/set_stack_size.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-prover/platform/HEAD/windows/set_stack_size/set_stack_size.ml --------------------------------------------------------------------------------