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
/
math
/
coq
Commit message (
Expand
)
Author
Age
Files
Lines
*
Switch to texlive
bapt
2014-07-23
1
-3
/
+2
*
multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern
eadler
2014-07-01
1
-1
/
+1
*
- Update coq to 8.4.3
johans
2014-01-11
3
-38
/
+39
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
bapt
2013-09-21
1
-0
/
+1
*
- Add build dependency due to tex changes
johans
2013-06-13
1
-1
/
+1
*
Rectify USE_TEX to support both of teTeX and TeXLive.
hrs
2013-05-12
1
-1
/
+1
*
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
hrs
2013-05-06
1
-1
/
+1
*
Update coq to 8.4.2
johans
2013-04-30
2
-4
/
+3
*
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
bf
2013-03-06
1
-0
/
+1
*
- Update coq to 8.4 pl1 [1]
johans
2013-02-17
4
-1154
/
+856
*
Convert to new options framework
johans
2012-06-29
1
-14
/
+20
*
- update png to 1.5.10
dinoex
2012-06-01
1
-0
/
+1
*
- Update coq to 8.3.3
johans
2012-03-25
5
-54
/
+361
*
- Mark BROKEN: does not compile
pav
2012-03-15
1
-0
/
+2
*
Mark as broken on powerpc: fails to link.
linimon
2011-11-11
1
-0
/
+4
*
Bump PORTREVISION after open-mofit update
makc
2011-05-02
1
-0
/
+1
*
Update coq to 8.3.2
johans
2011-04-26
2
-5
/
+6
*
Correct PORTVERSION: pl (patch level) releases follow a main release
johans
2011-04-19
1
-1
/
+2
*
- Update coq to 8.3pl1
johans
2011-02-12
3
-80
/
+3
*
Fix build with new ocaml preprocessor (patch from upstream)
johans
2010-12-11
2
-0
/
+78
*
- Update coq to 8.3
johans
2010-11-09
4
-202
/
+412
*
- Update to version 8.2pl1
johans
2010-06-25
2
-20
/
+19
*
- update to 1.4.1
dinoex
2010-03-28
1
-1
/
+1
*
Update my mail address to @FreeBSD.org
johans
2010-02-24
1
-1
/
+1
*
- update to jpeg-8
dinoex
2010-02-05
1
-1
/
+1
*
- bump all port that indirectly depends on libjpeg and have not yet been bump...
dinoex
2009-07-31
1
-0
/
+1
*
Fix pkg-plist
johans
2009-03-16
1
-0
/
+1
*
Update to 8.2.1
johans
2009-03-16
3
-106
/
+531
*
Bump portrevision due to upgrade of devel/gettext.
edwin
2008-06-06
1
-1
/
+1
*
- Due to depency updates, camlp5 (fresh port) is now required as well:
johans
2008-04-17
1
-0
/
+3
*
- Update to 8.1pl3
johans
2008-04-07
3
-7
/
+7
*
Update to 8.1.1 (bugfix release)
johans
2007-07-30
3
-6
/
+10
*
- Welcome X.org 7.2 \o/.
flz
2007-05-20
1
-0
/
+1
*
- Update to 8.1
johans
2007-03-26
3
-277
/
+137
*
- Update to 8.0pl3
pav
2006-03-16
3
-20
/
+15
*
BROKEN: Does not build
kris
2006-03-07
1
-0
/
+2
*
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
edwin
2006-01-22
1
-4
/
+4
*
Unbreak: Add vendor-patch for ocaml 3.09
vs
2005-12-07
2
-0
/
+5
*
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the...
vs
2005-12-05
1
-0
/
+1
*
Enable IDE by default.
vs
2005-12-05
1
-3
/
+3
*
- Add SHA256
pav
2005-11-25
1
-0
/
+1
*
Drop MAINTAINER
mnag
2005-10-30
1
-1
/
+1
*
Update to 8.0p2
vs
2005-02-02
2
-10
/
+5
*
Fix packaging
vs
2005-01-19
2
-8
/
+7
*
- Unbreak on amd64
sem
2004-12-21
1
-2
/
+1
*
Mark broken on ia64 and amd64.
tobez
2004-11-29
1
-0
/
+4
*
- Add optional CoqIde support (depends on lablgtk2)
pav
2004-11-09
3
-58
/
+69
*
Add coq, a formal proof management system: a proof done with Coq is
pav
2004-10-16
4
-0
/
+597