This website requires JavaScript.
Explore
Help
Sign in
sync
/
ports
Watch
1
Star
0
Fork
You've already forked ports
0
mirror of
https://git.freebsd.org/ports.git
synced
2025-06-20 04:00:41 -04:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
4f5544a38b
ports
/
math
/
proofgeneral
History
Dmitry Marakasov
d46ccd7303
- Remove manual creation and removal of share/applications, as it's now in the mtree (categories starting with m)
...
Approved by: portmgr (bdrewery)
2013-10-22 13:56:27 +00:00
..
files
- Fix build with new texi2html
2012-07-12 14:05:30 +00:00
distinfo
- Update to 4.1
2012-04-19 22:38:31 +00:00
Makefile
- Remove manual creation and removal of share/applications, as it's now in the mtree (categories starting with m)
2013-10-22 13:56:27 +00:00
pkg-descr
pkg-plist
- Remove manual creation and removal of share/applications, as it's now in the mtree (categories starting with m)
2013-10-22 13:56:27 +00:00