lean4
No description set
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:expeehaa/lean4 && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| fix_lib_install_dir.patch | 0000000522 522 Bytes | |
| lean4-4.2.0.tar.gz | 0016382466 15.6 MB | |
| lean4.changes | 0000000182 182 Bytes | |
| lean4.spec | 0000001721 1.68 KB | |
| prevent_copying_of_source_files.patch | 0000000604 604 Bytes |
Comments 0