Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-05-24 | Attempt to fix opam build with opam2: use a .install file and don't rely on ↵ | Robert Norton | 1 | -1/+1 | |
opam being in path to get SAIL_DIR (which seems to be unreliable). | |||||
2019-05-20 | Add descr file for opam.0.1 | Robert Norton | 1 | -0/+1 | |