diff options
| author | stuebinm | 2021-06-23 20:37:59 +0200 |
|---|---|---|
| committer | stuebinm | 2021-06-23 20:37:59 +0200 |
| commit | 715001ba92799839afc97d92c9f0a79924085a69 (patch) | |
| tree | 9273d67c20a9ed977c86de745fffa6605ecff8dc /isabelle-dump/build.rs | |
| parent | 4513c6626a34f737482c102825be7c2ca1b43eff (diff) | |
add nix derivation
(using naersk)
Diffstat (limited to 'isabelle-dump/build.rs')
0 files changed, 0 insertions, 0 deletions