diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-04 11:42:04 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-04 11:42:16 +0100 |
| commit | eee3b0421235f4e20cd132fbfd1663f3de66146c (patch) | |
| tree | dd28c1cef66e7a03946894bf46ef7b8fbb4f68b8 /drafts | |
| parent | 1e387868486474db11cf110d6105e8aa9d9882a3 (diff) | |
chore: modernize Coq imports.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'drafts')
0 files changed, 0 insertions, 0 deletions