diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:35:26 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:35:26 +0100 |
| commit | 240088dc482473236415e208a4be446e22dbc24c (patch) | |
| tree | 023edf308c399fa7eeda544b5102f5307132aad4 /modules/coq.nix | |
| parent | fd4f404a612b92c0b1634b2b9d3a4bbb208eecc6 (diff) | |
apply nix-format
Diffstat (limited to 'modules/coq.nix')
0 files changed, 0 insertions, 0 deletions