aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle
ModeNameSize
-rw-r--r--Makefile4637logstatsplainblame
-rw-r--r--distinfo292logstatsplainblame
d---------files82logstatsplain
-rw-r--r--pkg-descr978logstatsplainblame
-rw-r--r--pkg-plist323267logstatsplainblame
generated by cgit (git 2.34.1) at 2024-11-26 00:48:05 +0800
gi/freebsd-ports-gnome/commit/math/GiNaC?h=gstreamer&id=f2c784866a5009d78a5c04f53d46d62101ae22a7'>- Update to 1.5.3.araujo2009-08-163-7/+10 * -Repocopy devel/libtool15 -> libtool22 and libltdl15 -> libltdl22.mezz2009-08-031-1/+1 * - Update maintainer mail addressdhn2009-04-061-1/+1 * - Pass maintainership along.wxs2009-02-131-1/+1 * - Update to 1.4.4miwi2009-01-166-83/+5 * - Update to 1.4.3miwi2008-04-284-14/+27 * - Chase cln updatepav2008-04-231-1/+2 * upgrade to 1.3.8ijliao2007-10-204-11/+27 * - Update to 1.3.6miwi2007-03-073-21/+5 * Use libtool port instead of included version to avoid objformat a.out botchkris2007-02-012-0/+2 * - Update to 1.3.5miwi2006-10-073-12/+13