mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-07 11:49:40 +00:00
Code Issues Releases Activity
freebsd-ports/math/proofgeneral
History
Ashish SHUKLA 4b9fb5608c Chase Emacs updates
2012-09-04 17:05:43 +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
Chase Emacs updates
2012-09-04 17:05:43 +00:00
pkg-descr
…
pkg-plist
- Update to 4.1
2012-04-19 22:38:31 +00:00