mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-27 05:10:36 +00:00
Code Issues Releases Activity

Drop Maintainership

Browse Source 
PR:		197402
Submitted by:	Timothy Beyer
This commit is contained in:
Tilman Keskinoz 2015-02-20 15:42:44 +00:00
parent faa6eb7860
commit 39085fae18
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=379437
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/isabelle/Makefile
View File

@ -9,7 +9,7 @@ MASTER_SITES= http://isabelle.in.tum.de/dist/ \
http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
DISTNAME= Isabelle2009-2
MAINTAINER= beyert@cs.ucr.edu
MAINTAINER= ports@FreeBSD.org
COMMENT= Generic proof assistant
LICENSE= BSD3CLAUSE