diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-10-24 12:32:28 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-10-24 17:40:24 +0300 |
| commit | de7c2a0eb98401ae91dc8f9c1b6b2e7df93a0125 (patch) | |
| tree | 8b010950ce7fad722c866a5a7f1fd596e1a5b885 /gnu/packages/lean.scm | |
| parent | 7a3263e0469db5e131a96b8d16672987f8c3714d (diff) | |
| download | guix-de7c2a0eb98401ae91dc8f9c1b6b2e7df93a0125.tar.gz | |
gnu: Remove rust-lmdb-rkv-sys-0.11.
* gnu/packages/crates-io.scm (rust-lmdb-rkv-sys-0.11): Delete variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions