Arthur Azevedo de Amorim 0540b29909 Update pkgs/development/coq-modules/extructures/default.nix ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>		2023-10-25 18:19:16 +02:00
..
default.nix	Update pkgs/development/coq-modules/extructures/default.nix	2023-10-25 18:19:16 +02:00