Put lemma-overloading back to CI

Open pi8027 opened this issue 1 year ago • 3 comments

I ported it to recent versions of Coq and MathComp: https://github.com/coq-community/lemma-overloading/pull/74

Nov 13 '24 14:11 pi8027

@proux01 @CohenCyril Can you help me with this? I wanted to make sure that coq/coq#19611 does not break lemma-overloading, and thus, I need to put it back to the CI of Coq (and MathComp).

Nov 13 '24 15:11 pi8027

The first step is to add lemma-overloading to nixpkgs. You can take inspiration from this: https://github.com/NixOS/nixpkgs/pull/122450/files

Nov 13 '24 18:11 CohenCyril

NixOS/nixpkgs#355908

Nov 14 '24 13:11 pi8027