/math/py-numarray/

• ../
• Makefile
• distinfo
• pkg-descr
• pkg-plist

	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)

aboutsummaryrefslogtreecommitdiffstats

log msg author committer range

path: root/math/coq

	Commit message (Expand)	Author	Age	Files	Lines
*	Update Coq to 8.4pl6	johans	2015-05-23	3	-3/+4
*	- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add	madpilot	2015-05-04