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
/
pkg-plist
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Remove manual creation and removal of share/applications, as it's now in th...
amdmi3
2013-10-22
1
-1
/
+0
*
- Don't delete gnomehier directories
bdrewery
2013-04-16
1
-2
/
+0
*
- Fix packaging by removing unneeded PACKAGE_BUILDING hack
bdrewery
2013-03-31
1
-2
/
+2
*
- Update to 4.1
scheidell
2012-04-20
1
-375
/
+56
*
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
edwin
2008-08-15
1
-0
/
+6
*
- Update to 3.7
rafan
2008-04-04
1
-505
/
+525
*
Presenting GNOME 2.20.1 and all related works for FreeBSD. The official
marcus
2007-10-25
1
-5
/
+6
*
* Remove the direct inclusion of bsd.emacs.mk
anray
2007-02-07
1
-341
/
+451
*
Fix plist and unbroken port.
anray
2006-11-12
1
-1
/
+0
*
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat
sem
2006-05-16
1
-0
/
+1
*
- Update to 3.6
sem
2006-05-02
1
-16
/
+73
*
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
edwin
2006-01-22
1
-1
/
+1
*
Fix plist.
barner
2005-09-16
1
-0
/
+3
*
Add proofgeneral 3.5, a generic interface for proof assistants.
barner
2005-08-31
1
-0
/
+380