OpenBSD/ports 6IOIc4N — math/coq Makefile, math/coq/pkg PLIST
this does need the emacs dirs
| Version | Delta | File | |
|---|---|---|---|
| 1.35 | +2 | -2 | math/coq/Makefile |
| 1.10 | +3 | -1 | math/coq/pkg/PLIST |
| +5 | -3 | 2 files | |
this does need the emacs dirs
| Version | Delta | File | |
|---|---|---|---|
| 1.35 | +2 | -2 | math/coq/Makefile |
| 1.10 | +3 | -1 | math/coq/pkg/PLIST |
| +5 | -3 | 2 files | |