14075-herbelin-master+new-level-abstraction-streams-with-location.sh « user-overlays « ci « dev - coq - The formal proof system

about summary refs log tree commit diff

path: root/dev/ci/user-overlays/14075-herbelin-master+new-level-abstraction-streams-with-location.sh

blob: a85ee6d2d0e071dc2294074f41b7ce0b4674084c (plain)

overlay elpi https://github.com/herbelin/coq-elpi coq-master+adapt-coq-pr14075-new-module-lstream-change-of_parser 14075