diff options
| author | Ben Darwin <bcdarwin@gmail.com> | 2024-02-03 14:42:33 -0500 |
|---|---|---|
| committer | Ben Darwin <bcdarwin@gmail.com> | 2024-02-03 14:58:27 -0500 |
| commit | d6d8fd86dd7a9487ebc04778d778327dbbf23807 (patch) | |
| tree | 9ea4a7877d0ca7f648d235836b915c325791e705 /pkgs/applications/science/logic/minisat | |
| parent | 9a8d449c0c3c41fdd0473248f6c91ad87bb964af (diff) | |
| download | nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.tar nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.tar.gz nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.tar.bz2 nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.tar.lz nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.tar.xz nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.tar.zst nixlib-d6d8fd86dd7a9487ebc04778d778327dbbf23807.zip | |
abella: update url, refactor to finalAttrs style
Diffstat (limited to 'pkgs/applications/science/logic/minisat')
0 files changed, 0 insertions, 0 deletions