| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove expired ports: | Rene Ladan | 2020-05-05 | 1 | -2/+0 |
| * | - Update to 4.1 | Michael Scheidell | 2012-04-19 | 1 | -2/+2 |
| * | - Get Rid MD5 support | Martin Wilke | 2011-03-20 | 1 | -1/+0 |
| * | [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1 | Edwin Groothuis | 2008-08-15 | 1 | -3/+3 |
| * | - Update to 3.7 | Rong-En Fan | 2008-04-04 | 1 | -3/+3 |
| * | * Remove the direct inclusion of bsd.emacs.mk | Andrey Slusar | 2007-02-06 | 1 | -3/+3 |
| * | Fix plist and unbroken port. | Andrey Slusar | 2006-11-11 | 1 | -0/+1 |
| * | - Update to 3.6 | Sergey Matveychuk | 2006-05-01 | 1 | -3/+2 |
| * | SHA256ify | Edwin Groothuis | 2006-01-22 | 1 | -0/+1 |
| * | Add proofgeneral 3.5, a generic interface for proof assistants. | Simon Barner | 2005-08-31 | 1 | -0/+2 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |