compatibility with 8.19 and beyond

coq-community · Dec 23, 2023 · 1cc3c9e · 1cc3c9e
1 parent 5b1ceaf
commit 1cc3c9e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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.