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
/
proofgeneral
Commit message (
Expand
)
Author
Age
Files
Lines
*
Cleanup plist
antoine
2014-11-14
1
-20
/
+0
*
- Chase GNU Emacs updates
ashish
2014-11-05
1
-1
/
+1
*
Retire MANCOMPRESSED.
mat
2014-09-18
1
-1
/
+0
*
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...
adamw
2014-07-30
1
-2
/
+1
*
- Add stage support
danilo
2014-07-17
2
-13
/
+22
*
Remove indefinite articles and trailing periods from COMMENT, plus minor
olgeni
2014-07-07
1
-1
/
+1
*
Convert GMAKE to MAKE_CMD
bapt
2014-06-25
1
-1
/
+1
*
- Don't remove mtree directories
amdmi3
2014-05-10
1
-1
/
+0
*
- Remove manual creation and removal of share/applications, as it's now in th...
amdmi3
2013-10-22
2
-4
/
+0
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
bapt
2013-09-21
1
-0
/
+1
*
Convert to new perl framework
bapt
2013-09-17
1
-2
/
+1
*
- Don't delete gnomehier directories
bdrewery
2013-04-16
2
-3
/
+1
*
- Fix packaging by removing unneeded PACKAGE_BUILDING hack
bdrewery
2013-03-31
2
-14
/
+4
*
GNU Emacs updates
ashish
2013-03-30
1
-1
/
+1
*
Chase Emacs updates
ashish
2012-09-05
1
-1
/
+1
*
- Bump PORTREVISION to chase Emacs port updates
ashish
2012-08-02
1
-1
/
+1
*
- Fix build with new texi2html
ak
2012-07-12
2
-4
/
+15
*
- Mark BROKEN: does not build
pav
2012-06-28
1
-0
/
+2
*
- update png to 1.5.10
dinoex
2012-06-01
1
-0
/
+1
*
- Update to 4.1
scheidell
2012-04-20
7
-510
/
+167
*
- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.
hrs
2011-06-19
1
-2
/
+3
*
Bump PORTREVISION after open-mofit update
makc
2011-05-02
1
-1
/
+1
*
- Get Rid MD5 support
miwi
2011-03-20
1
-1
/
+0
*
- update to 1.4.1
dinoex
2010-03-28
1
-1
/
+1
*
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
miwi
2010-02-26
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
*
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
edwin
2008-08-15
5
-12
/
+34
*
Bump portrevision due to upgrade of devel/gettext.
edwin
2008-06-06
1
-0
/
+1
*
- Remove empty files
pav
2008-04-10
1
-0
/
+0
*
- Update to 3.7
rafan
2008-04-04
7
-577
/
+593
*
Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
mezz
2007-10-28
1
-2
/
+2
*
Fix the *.desktop installation, bump the PORTREVISION.
mezz
2007-10-26
1
-1
/
+4
*
Presenting GNOME 2.20.1 and all related works for FreeBSD. The official
marcus
2007-10-25
3
-13
/
+14
*
- Welcome X.org 7.2 \o/.
flz
2007-05-20
1
-1
/
+1
*
Now appears to build on amd64
kris
2007-04-02
1
-4
/
+0
*
Fix deinstall and unbroke port.
anray
2007-03-06
2
-4
/
+3
*
BROKEN: Incomplete pkg-plist
kris
2007-02-27
1
-0
/
+2
*
* Remove the direct inclusion of bsd.emacs.mk
anray
2007-02-07
4
-443
/
+533
*
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
kris
2006-12-10
1
-0
/
+2
*
BROKEN: incomplete pkg-plist
kris
2006-12-01
1
-0
/
+2
*
Fix plist and unbroken port.
anray
2006-11-12
3
-4
/
+3
*
BROKEN: Incorrect pkg-plist
kris
2006-10-16
1
-0
/
+2
*
Remove zero-sized files.
erwin
2006-07-11
2
-0
/
+0
*
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat
sem
2006-05-16
1
-0
/
+1
*
Remove USE_REINPLACE from ports starting with M
edwin
2006-05-11
1
-1
/
+0
*
- Add USE_EMACS=yes. It should present in all emacsen ports.
sem
2006-05-06
1
-0
/
+1
*
- Update to 3.6
sem
2006-05-02
9
-108
/
+126
*
SHA256ify
edwin
2006-01-22
1
-0
/
+1
*
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
edwin
2006-01-22
1
-1
/
+1
*
BROKEN on amd64: Does not build
kris
2005-10-28
1
-0
/
+4
*
Fix plist.
barner
2005-09-16
1
-0
/
+3
*
Fix build:
barner
2005-09-15
2
-7
/
+35
*
Add proofgeneral 3.5, a generic interface for proof assistants.
barner
2005-08-31
10
-0
/
+715