index
:
freebsd-ports-gnome
cinnamon
cinnamon-2.8
dependabot/npm_and_yarn/devel/electron4/files/bl-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron4/files/ini-1.3.7
dependabot/npm_and_yarn/devel/electron4/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron4/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron4/files/serve-10.1.2
dependabot/npm_and_yarn/devel/electron4/files/y18n-3.2.2
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron6/files/ini-1.3.8
dependabot/npm_and_yarn/devel/electron6/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron6/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron6/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron6/files/serve-10.1.2
gnome-3.22
gnome-3.24
gnome-3.26
gnome-3.28
gnome-3.32
gnome-3.36
gstreamer
gstreamer-1.16
gstreamer0.10-removal
main
master
mate-1.16
mate-1.18
mate-1.20
mate-1.22
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lang
/
polyml
/
Makefile
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fixup USE_GITHUB usage.
mat
2016-11-26
1
-2
/
+1
*
lang/polyml: 5.5.2 -> 5.6
pi
2016-04-16
1
-3
/
+4
*
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
mat
2016-04-01
1
-1
/
+1
*
- Allow exposing polyml as a shared library (as required by e.g. HOL4)
danfe
2015-10-24
1
-7
/
+9
*
lang/polyml: depend on ffi, use pkg-plist, add motif option
swills
2014-08-01
1
-15
/
+11
*
lang/polyml: Upgrade version 5.5 => 5.5.2
marino
2014-07-27
1
-12
/
+17
*
Update the default version of GCC used in the Ports Collection from
gerald
2014-03-11
1
-0
/
+1
*
lang/polyml: allow staging
wg
2013-12-01
1
-6
/
+4
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
bapt
2013-09-21
1
-0
/
+1
*
- Update to 5.5
beech
2013-03-05
1
-3
/
+2
*
- Fix a segfault on startup
miwi
2013-02-08
1
-5
/
+2
*
- Update to 5.4.1
sunpoet
2012-05-21
1
-8
/
+2
*
- Try to fix build on amd64/6 (untested)
pav
2010-10-20
1
-1
/
+7
*
- Update to 5.4
sunpoet
2010-10-16
1
-3
/
+3
*
- Update to 5.3
lwhsu
2010-08-22
1
-2
/
+5
*
Fix maintainer emailadress
arved
2010-08-09
1
-1
/
+1
*
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
miwi
2010-02-26
1
-1
/
+1
*
- Update to 5.2.1
yzlin
2009-10-20
1
-1
/
+1
*
- Switch SourceForge ports to the new File Release System: categories startin...
amdmi3
2009-08-22
1
-2
/
+1
*
[MAINTAINER] lang/polyml: 5.1 -> 5.2
edwin
2008-08-15
1
-1
/
+1
*
- Remove USE_GCC where it can be satisfied with base compiler on following
pav
2008-07-25
1
-1
/
+0
*
- Update to 5.1
rafan
2008-04-04
1
-4
/
+4
*
- Marked broken for amd64
miwi
2007-03-21
1
-0
/
+1
*
- Update to 5.0
miwi
2007-03-07
1
-55
/
+16
*
- Update to 4.2.0
mnag
2006-03-29
1
-42
/
+29
*
Add polyml 4.1.3, a fast open-source implementation of Standard ML.
barner
2005-07-29
1
-0
/
+88