diff options
author | Tobias C. Berner <tcberner@FreeBSD.org> | 2022-07-20 16:22:24 +0200 |
---|---|---|
committer | Tobias C. Berner <tcberner@FreeBSD.org> | 2022-07-20 16:22:24 +0200 |
commit | f53eb28489aa8f30712cd8772d1a0e05c394a5da (patch) | |
tree | 106b1a554f4cf4652ff2f420b33c89386548710b /math/cvc3 | |
parent | mail: remove 'Created by' lines (diff) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@plab.ku.dk>
* Anton Berezin <tobez@tobez.org>
* Anton Shterenlikht
* Anton Shterenlikht <mexas@bris.ac.uk>
* Bob Eager <bob@eager.cx>
* Charlie Kester <corky1951@comcast.net>
* Cheng-Lung Sung <clsung@FreeBSD.org>
* Cheng-Lung Sung <clsung@dragon2.net>
* Chris D. Faulhaber <jedgar@fxp.org>
* Christopher J. Ruwe
* Christopher Key <cjk32@cam.ac.uk>
* Chuck Hein <geekdude@pacbell.net>
* Cyrille Szymanski <cnszym@gmail.com>
* Dan Rue <drue@therub.org>
* Danilo Egea Gondolfo <danilo@FreeBSD.org>
* David Naylor <dbn@FreeBSD.org>
* David Naylor <naylor.b.david@gmail.com>
* Dereckson <dereckson@gmail.com>
* Devin Teske <dteske@FreeBSD.org>
* Dmitry Sivachenko <demon@FreeBSD.org>
* Dmitry Sivachenko <mitya@yandex-team.ru>
* Don Croyle <croyle@gelemna.org>
* Douglas K. Rand (rand@meridian-enviro.com)
* Dylan Simon <dylan@dylex.net>
* Edwin Groothuis <edwin@mavetju.org>
* Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
* Emanuel Haupt <ehaupt@FreeBSD.org>
* Eoin Lawless (eoin@maths.tcd.ie)
* Eric A. Griff <eagriff@global2000.net>
* Eric van Gyzen <vangyzen@stat.duke.edu>
* Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
* Fernan Aguero <fernan@iib.unsam.edu.ar>
* Foxfair Hu <foxfair@FreeBSD.org>
* Frederic Han <han@math.jussieu.fr>
* Gabor Kovesdan <gabor@FreeBSD.org>
* Gea-Suan Lin <gslin@gslin.org>
* George Reid <greid@ukug.uk.freebsd.org>
* Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
* Greg Larkin <glarkin@FreeBSD.org>
* Guangyuan Yang <ygy@FreeBSD.org>
* Gustau Perez i Querol <gustau.perez@gmail.com>
* Heinz Tschabitscher
* Horia Racoviceanu <horia@racoviceanu.com>
* Hye-Shik Chang <perky@fallin.lv>
* Iblis Lin <iblis@hs.ntnu.edu.tw>
* Issei Suzuki <issei@jp.FreeBSD.ORG>
* Janni
* Jason Harris <jharris@widomaker.com>
* Javad Kouhi <javad.kouhi@gmail.com>
* Jean-Yves Lefort <jylefort@FreeBSD.org>
* Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
* Joe Marcus Clarke <marcus@FreeBSD.org>
* Johannes Dieterich <dieterich@ogolem.org>
* Johannes M Dieterich <jmd@FreeBSD.org>
* Johannes Meixner <johannes@perceivon.net>
* John Marino <marino@FreeBSD.org>
* Joseph Koshy <jkoshy@FreeBSD.org>
* Ju Pengfei <ju.pengfei@gmail.com>
* Jukka A. Ukkonen <jau@iki.fi>
* Kay Lehmann <kay_lehmann@web.de>
* Kevin Lo <kevlo@FreeBSD.org>
* Klaus T. Aehlig <aehlig@linta.de>
* Kubilay Kocak <koobs@FreeBSD.org>
* Kurt Jaeger <fbsd-ports@opsec.eu>
* Lars Engels <lme@FreeBSD.org>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
* Li-Wen Hsu <lwhsu@FreeBSD.org>
* Li-Wen Hsu <lwhsu@lwhsu.org>
* M. L. Dodson, <bdodson@scms.utmb.edu>
* Maho Nakata <maho@FreeBSD.org>
* Mario S F Ferreira <lioux@FreeBSD.org>
* Mario S F Ferreira <lioux@linf.unb.br> et al.
* Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
* Mark Felder <feld@FreeBSD.org>
* Mark R V Murray <markm@FreeBSD.org>
* Martin Matuska <mm@FreeBSD.org>
* Matthew Seaman <matthew@FreeBSD.org>
* Maurice Castro <maurice@serc.rmit.edu.au>
* Maxim Sobolev <sobomax@FreeBSD.org>
* Maxime Henrion <mux@FreeBSD.org>
* Michael Haro <mharo@FreeBSD.org>
* Michael Johnson <ahze@FreeBSD.org>
* Michael Johnson <ahze@ahze.net>
* Michael Neumann <mneumann@ntecs.de>
* Muhammad Moinur Rahmanh <5u623l20@gmail.com>
* NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
* NAKATA, Maho <maho@FreeBSD.org>
* Nakata Maho <maho@FreeBSD.org>
* Nicola Vitale <nivit@email.it>
* Olivier Duchateau
* Pedro F. Giffuni
* Pedro F. Giffuni <giffunip@asme.org>
* Pedro Giffuni
* Pedro Giffuni <giffunip@asme.org>
* Pedro Giffuni <pfg@FreeBSD.org>
* Peter Pentchev <roam@FreeBSD.org>
* Philip Paeps <philip@FreeBSD.org>
* Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
* Pietro Cerutti <gahr@FreeBSD.org>
* Piotr Rybicki <meritus@innervision.pl>
* Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* Rainer Hurling <rhurlin@gwdg.de>
* Robert Jenssen
* Robin Schilham
* Rod Taylor <ports@rbt.ca>
* Roman Neuhauser <neuhauser@sigpipe.cz>
* Sander Vesik <sander@haldjas.folklore.ee>
* Scott Flatman <sf@dsinw.com>
* Seamus Venasse <svenasse@polaris.ca>
* Sergey A. Osokin <osa@FreeBSD.org>
* Sergey Akifyev <asa@agava.com>
* Sergey Akifyev <asa@gascom.ru>
* Sergey Skvortsov <skv@FreeBSD.org>
* Sergey Skvortsov <skv@protey.ru>
* Shell Hung <shell@shellhung.org>
* Shin-ya MURAKAMI <murashin@gfd-dennou.org>
* Stas Timokhin <devel@stasyan.com>
* Stefan A. Deutscher (sad@mailaps.org)
* Stefan Esser <se@StefanEsser.FreeBSD.org>
* Stephen Montgomery-Smith <stephen@FreeBSD.edu>
* Stephen Montgomery-Smith <stephen@FreeBSD.org>
* Stephen Montgomery-Smith <stephen@math.missouri.edu>
* Stephen Montgomery-Smith <stephen@missouri.edu>
* Steve Wills <steve@mouf.net>
* Steve Wills <swills@FreeBSD.org>
* Steven Kreuzer <skreuzer@FreeBSD.org>
* Steven Kreuzer <skreuzer@f2o.org>
* Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* TAKATSU Tomonari <tota@FreeBSD.org>
* Thierry Thomas (<thierry@pompo.net>)
* Thierry Thomas <thierry@pompo.net>
* Thomas Gellekum <tg@FreeBSD.org>
* Thomas Sandford <freebsduser@paradisegreen.co.uk>
* Timothy Bourke <timbob@bigpond.com>
* Tony Maher
* Tz-Huan Huang <tzhuan@csie.org>
* Vsevolod Stakhov <vsevolod@FreeBSD.org>
* Vsevolod Stakhov <vsevolod@highsecure.ru>
* Waitman Gobble <waitman@waitman.net>
* Wen Heping <wen@FreeBSD.org>
* Wen Heping <wenheping@gmail.com>
* Will Andrews <andrews@technologist.com>
* Yi-Hsuan Hsin <mhsin@mhsin.org>
* Ying-Chieh Liao <ijliao@FreeBSD.org>
* Yinghong.Liu <relaxbsd@gmail.com>
* Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
* Yukihiro Nakai <Nakai@technologist.com>
* Yuri Victorovich <yuri@FreeBSD.org>
* Yuri Victorovich <yuri@rawbw.com>
* Yuri Victorovich <yuri@tsoft.com>
* Zhen REN <bg1tpt@gmail.com>
* amir.husaini@gmail.com
* arved
* asami
* b.f. <bf@FreeBSD.org>
* bart <lbartoletti@FreeBSD.org>
* bauerm
* bf <bf2006a@yahoo.com>
* bf <bf@FreeBSD.org>
* bf@FreeBSD.org
* bremner@unb.ca
* chinsan
* chuckr@FreeBSD.org
* dawe <daweonline@gmail.com>
* dbader@ece.unm.edu
* dd
* demon@FreeBSD.org
* dikshie
* eserte
* fenner
* gahr
* giffunip
* gmarco@giovannelli.it
* gurkan@phys.ethz.ch
* ijliao
* janek@gaja.ipan.lublin.pl
* jhs@berklix.com / asami (original)
* jmz
* js@jeannot.org
* keith@FreeBSD.org
* ljo
* mr
* nobu@rd.isac.co.jp
* pauls@utdallas.edu
* pusto@web.de
* reg@shale.csir.co.za
* rfarmer@predatorlabs.net
* stephen@FreeBSD.org
* thierry@pompo.net
* tobez
* will
* # Created by Matthias Fechner <mfechner@FreeBSD.org>
With hat: portmgr
Diffstat (limited to 'math/cvc3')
-rw-r--r-- | math/cvc3/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 5581e7c38ddd..a473397e6132 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -1,5 +1,3 @@ -# Created by: Li-Wen Hsu <lwhsu@lwhsu.org> - PORTNAME= cvc3 PORTVERSION= 2.4.1 PORTREVISION= 7 |