diff options
| author | Vagrant Cascadian <vagrant@reproducible-builds.org> | 2020-05-25 17:01:50 -0700 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-05-25 17:27:30 -0700 |
| commit | 2f04adf5c4e4be8e44e2bf753d4e0a87f9149c7e (patch) | |
| tree | 5f6940761c00aedaaf983ef97396a51be3d6cf44 /gnu/packages/coq.scm | |
| parent | 0321c6ebeae35709cde65b2dccd0a3a6a5d6aeee (diff) | |
gnu: disorderfs: Update to 0.5.10.
* gnu/packages/file-systems (disorderfs): Update to 0.5.10.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions