From 1cc3c9e3265c9fdba378bd6e3d4e6fc457e2ce18 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sat, 23 Dec 2023 18:55:07 +0100 Subject: [PATCH] compatibility with 8.19 and beyond --- README.md | 8 ++++---- theories/Algorithms/ExtractAlgorithm.v | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 9023cf4..bf8b586 100644 --- a/README.md +++ b/README.md @@ -11,11 +11,11 @@ Follow the instructions on https://github.com/coq-community/templates to regener [![Zulip][zulip-shield]][zulip-link] [![DOI][doi-shield]][doi-link] -[docker-action-shield]: https://github.com/coq-community/chapar/workflows/Docker%20CI/badge.svg?branch=master -[docker-action-link]: https://github.com/coq-community/chapar/actions?query=workflow:"Docker%20CI" +[docker-action-shield]: https://github.com/coq-community/chapar/actions/workflows/docker-action.yml/badge.svg?branch=master +[docker-action-link]: https://github.com/coq-community/chapar/actions/workflows/docker-action.yml -[nix-action-shield]: https://github.com/coq-community/chapar/workflows/Nix%20CI/badge.svg?branch=master -[nix-action-link]: https://github.com/coq-community/chapar/actions?query=workflow:"Nix%20CI" +[nix-action-shield]: https://github.com/coq-community/chapar/actions/workflows/nix-action.yml/badge.svg?branch=master +[nix-action-link]: https://github.com/coq-community/chapar/actions/workflows/nix-action.yml [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md diff --git a/theories/Algorithms/ExtractAlgorithm.v b/theories/Algorithms/ExtractAlgorithm.v index 5ab795a..49f3e25 100644 --- a/theories/Algorithms/ExtractAlgorithm.v +++ b/theories/Algorithms/ExtractAlgorithm.v @@ -1,4 +1,4 @@ -From Coq Require Import Arith NPeano. +From Coq Require Import Arith. (* Require Import PeanoNat. *) From Coq Require Import List Ascii String. From Coq Require Export ExtrOcamlBasic ExtrOcamlNatInt ExtrOcamlString.