| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/coq: force unsafe strings to unbreak against modern OCaml. | Alexey Dokuchaev | 2022-04-10 | 1 | -1/+19 |
| * | Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. | Hiroki Sato | 2016-12-31 | 3 | -35/+17 |
| * | Update to 8.5. | Hiroki Sato | 2016-12-31 | 2 | -0/+40 |
| * | - Update coq to 8.4 pl1 [1] | Johan van Selst | 2013-02-17 | 1 | -357/+0 |
| * | - Update coq to 8.3.3 | Johan van Selst | 2012-03-25 | 2 | -47/+357 |
| * | - Update coq to 8.3pl1 | Johan van Selst | 2011-02-12 | 1 | -77/+0 |
| * | Fix build with new ocaml preprocessor (patch from upstream) | Johan van Selst | 2010-12-10 | 1 | -0/+77 |
| * | - Update coq to 8.3 | Johan van Selst | 2010-11-09 | 1 | -0/+47 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |