From owner-freebsd-questions@freebsd.org Tue Jul 26 02:32:10 2016 Return-Path: Delivered-To: freebsd-questions@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 6E850BA4112; Tue, 26 Jul 2016 02:32:10 +0000 (UTC) (envelope-from stephen@missouri.edu) Received: from mst-rip6-missouri-out.um.umsystem.edu (mst-rip6-missouri-out.um.umsystem.edu [198.209.50.149]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "um-tip1.um.umsystem.edu", Issuer "InCommon RSA Server CA" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 03CF41665; Tue, 26 Jul 2016 02:32:09 +0000 (UTC) (envelope-from stephen@missouri.edu) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2HRCQAEy5ZX/8aeoM9dgz9WKlIGumsBI?= =?us-ascii?q?4JCgzcCHIEdOxEBAQEBAQEBA1onglE5OwEBAQEBAQEjAg1fAQUjBA1FEAIBCBg?= =?us-ascii?q?CAiYCAgIwFRACBAEMAQcBAQWGCYIfDqh8ihcBBoNDAQEBAQEBAQMBAQEBAQEBA?= =?us-ascii?q?QEBARyBAYchCIJNhEAXgmqCWgWIIZEIAYYXikuEWoh5kCM0IIIQHIFMbgGHGEU?= =?us-ascii?q?BfgEBAQ?= X-IPAS-Result: =?us-ascii?q?A2HRCQAEy5ZX/8aeoM9dgz9WKlIGumsBI4JCgzcCHIEdOxE?= =?us-ascii?q?BAQEBAQEBA1onglE5OwEBAQEBAQEjAg1fAQUjBA1FEAIBCBgCAiYCAgIwFRACB?= =?us-ascii?q?AEMAQcBAQWGCYIfDqh8ihcBBoNDAQEBAQEBAQMBAQEBAQEBAQEBARyBAYchCIJ?= =?us-ascii?q?NhEAXgmqCWgWIIZEIAYYXikuEWoh5kCM0IIIQHIFMbgGHGEUBfgEBAQ?= Received: from um-tcas2.um.umsystem.edu ([207.160.158.198]) by mst-rip6-exch-relay.um.umsystem.edu with ESMTP; 25 Jul 2016 21:30:58 -0500 Received: from UM-MBX-N02.um.umsystem.edu ([169.254.5.35]) by UM-TCAS2.um.umsystem.edu ([207.160.158.198]) with mapi id 14.03.0266.001; Mon, 25 Jul 2016 21:30:57 -0500 From: "Montgomery-Smith, Stephen" To: cpghost , FreeBSD Questions CC: "freebsd-ports@freebsd.org" , "stephen@FreeBSD.org" Subject: Re: math/open-axiom gone? Thread-Topic: math/open-axiom gone? Thread-Index: AQHR5uP8Mk3nqbEBCEKkGHkbwEKDIKAqUYMA Date: Tue, 26 Jul 2016 02:30:57 +0000 Message-ID: <50cdcc07-5467-f82e-cf3f-1b6a72cc858c@missouri.edu> References: <6660901e-1024-8b45-619e-e632eb84df7c@cordula.ws> In-Reply-To: <6660901e-1024-8b45-619e-e632eb84df7c@cordula.ws> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 x-originating-ip: [207.160.158.194] Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 26 Jul 2016 02:32:10 -0000 T24gMDcvMjUvMjAxNiAwOToxOCBQTSwgY3BnaG9zdCB3cm90ZToNCj4gSGVsbG8sDQo+IA0KPiBh ZnRlciB1cGRhdGluZyBteSBwb3J0cyB0cmVlLCBJJ3ZlIGZvdW5kIG91dCB0aGF0IG1hdGgvb3Bl bi1heGlvbQ0KPiBoYXMgYmVlbiBkZWxldGVkISBBZnRlciBtYXRoL2ZyaWNhcyB1bnVzYWJsZSB3 aXRoIHNiY2wtMS4zLnggZm9yDQo+IG1hbnkgbW9udGhzIGFuZCBub3cgZ29uZSB0b28sIEknbSBs ZWZ0IHdpdGggTk8gYWx0ZXJuYXRpdmVzIGZvcg0KPiB0aGF0IGtpbmQgb2Ygc29mdHdhcmUgaGVy ZS4NCj4gDQo+IEZvcnR1bmF0ZWx5LCBJIHN0aWxsIGhhdmUgYSB3b3JraW5nIHBhY2thZ2Ugb2Yg b3Blbi1heGlvbSBvbiBteSBtYWNoaW5lLA0KPiBydW5uaW5nIHdpdGggU0JDTCAxLjMuMSByaWdo dCBub3c6DQo+IA0KPiAkIHBrZyB2ZXJzaW9uIC12IHwgZ3JlcCBvcGVuLWF4aW9tDQo+IG9wZW4t YXhpb20tMS40LjJfMyAgICAgICAgICAgICAgICAgPyAgIG9ycGhhbmVkOiBtYXRoL29wZW4tYXhp b20NCj4gDQo+ICQgdW5hbWUgLWENCj4gRnJlZUJTRCBwaGVub20uZnJpdHouYm94IDEwLjMtU1RB QkxFIEZyZWVCU0QgMTAuMy1TVEFCTEUgIzAgcjMwMzMxMTogTW9uIEp1bCAyNSAyMDo0MjozNCBD RVNUIDIwMTYgICAgIHJvb3RAcGhlbm9tLmZyaXR6LmJveDovdXNyL29iai91c3Ivc3JjL3N5cy9H RU5FUklDICBhbWQ2NA0KPiANCj4gJCBvcGVuLWF4aW9tDQo+ICAgICAgICAgICAgICBPcGVuQXhp b206IFRoZSBPcGVuIFNjaWVudGlmaWMgQ29tcHV0YXRpb24gUGxhdGZvcm0gDQo+ICAgICAgICAg ICAgICAgICAgICAgICAgICAgVmVyc2lvbjogT3BlbkF4aW9tIDEuNC4yDQo+ICAgICAgICAgICAg ICAgICAgQnVpbHQgb24gRnJpZGF5IEp1bmUgMTksIDIwMTUgYXQgMjI6Mjg6MjcgDQo+IC0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tDQo+ICAgIElzc3VlICljb3B5cmlnaHQgdG8gdmlldyBjb3B5cmlnaHQg bm90aWNlcy4NCj4gICAgSXNzdWUgKXN1bW1hcnkgZm9yIGEgc3VtbWFyeSBvZiB1c2VmdWwgc3lz dGVtIGNvbW1hbmRzLg0KPiAgICBJc3N1ZSApcXVpdCB0byBsZWF2ZSBPcGVuQXhpb20gYW5kIHJl dHVybiB0byBzaGVsbC4NCj4gLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCj4gDQo+ICgxKSAtPiApcXVp dA0KPiANCj4gJCBzYmNsDQo+IFRoaXMgaXMgU0JDTCAxLjMuMSwgYW4gaW1wbGVtZW50YXRpb24g b2YgQU5TSSBDb21tb24gTGlzcC4NCj4gTW9yZSBpbmZvcm1hdGlvbiBhYm91dCBTQkNMIGlzIGF2 YWlsYWJsZSBhdCA8aHR0cDovL3d3dy5zYmNsLm9yZy8+Lg0KPiANCj4gU0JDTCBpcyBmcmVlIHNv ZnR3YXJlLCBwcm92aWRlZCBhcyBpcywgd2l0aCBhYnNvbHV0ZWx5IG5vIHdhcnJhbnR5Lg0KPiBJ dCBpcyBtb3N0bHkgaW4gdGhlIHB1YmxpYyBkb21haW47IHNvbWUgcG9ydGlvbnMgYXJlIHByb3Zp ZGVkIHVuZGVyDQo+IEJTRC1zdHlsZSBsaWNlbnNlcy4gIFNlZSB0aGUgQ1JFRElUUyBhbmQgQ09Q WUlORyBmaWxlcyBpbiB0aGUNCj4gZGlzdHJpYnV0aW9uIGZvciBtb3JlIGluZm9ybWF0aW9uLg0K PiAqIChzYi1leHQ6ZXhpdCkNCj4gDQo+IERvIHlvdSByZWNvbW1lbmQgdG8gc3dpdGNoIHRvIERl YmlhbiBHTlUvTGludXgsIHdoZXJlIHRob3NlIHBhY2thZ2VzDQo+IGFyZSBzdGlsbCBhY3RpdmVs eSBtYWludGFpbmVkLCBvciBpcyB0aGVyZSBhIGNoYW5jZSBpbiBoZWxsIHRvIHNlZQ0KPiB0aG9z ZSBwb3J0cyByZWFwcGVhciBpbiB0aGUgbmVhciBmdXR1cmUgb24gRnJlZUJTRD8NCj4gDQo+IFRo YW5rcywNCj4gLWNwZ2hvc3QuDQo+IA0KDQpZZXMsIHRoZXJlIGlzIGRlZmluaXRlbHkgYSAiY2hh bmNlIGluIGhlbGwiIHRoYXQgSSdsbCB0cnkgdG8gZml4IHRoaXMuDQooUGxlYXNlIGJlIG5pY2Ug dG8gdXMgdm9sdW50ZWVycywgb3IgYXQgbGVhc3QgZG9uJ3QgY3Vyc2UgdXMgdW50aWwgd2UNCmhh dmUgcHJvdmVuIHdlIGRlc2VydmUgaXQuKQ0KDQpDYW4geW91IHN1Ym1pdCB0aGlzIGFzIGEgYnVn IGF0DQpodHRwczovL2J1Z3MuZnJlZWJzZC5vcmcvYnVnemlsbGEvZW50ZXJfYnVnLmNnaT8gIFRo ZW4gdGhlIHByb2JsZW0NCnJlcG9ydCBpcyBpbiBhIHBsYWNlIHdoZXJlIEknbGwgcmVtZW1iZXIg dG8gd29yayBvbiB0aGlzIGluIGEgZmV3IGRheXMNCnRpbWUgd2hlbiBJIGhhdmUgdGhlIHRpbWUu DQoNClJpZ2h0IG5vdyBJJ20gd29ya2luZyBvbiB0aGlzOg0KaHR0cHM6Ly9idWdzLmZyZWVic2Qu b3JnL2J1Z3ppbGxhL3Nob3dfYnVnLmNnaT9pZD0yMTEzMzQuICBJIGRvDQpnZW5lcmFsbHkgcmVw bHkgdG8gYnVnIHJlcG9ydHMgaW4gYSByZWFzb25hYmx5IHRpbWVseSBtYW5uZXIuDQoNCkkgc2hv dWxkIGFkZCB0aGF0IEkgY3JlYXRlZCB0aGVzZSBwb3J0cyBxdWl0ZSBhIHdoaWxlIGFnbyB3aGVu IEkgd2FzDQpsb29raW5nIGZvciBmcmVlIHN5bWJvbGljIG1hdGggcGFja2FnZXMuICBOb3cgSSBk b24ndCB1c2UgdGhlbSBhbnkgbW9yZS4NCiBTbyBpZiB5b3UgKG9yIGFueW9uZSBlbHNlKSB3b3Vs ZCBsaWtlIHRvIHRha2Ugb3ZlciBhcyBtYWludGFpbmVyIG9mDQp0aGVzZSBwb3J0cywgdGhhdCB3 b3VsZCBiZSB3b25kZXJmdWwuDQoNCkJUVywgYWxsIEkgZGlkIGlzIG1hcmsgdGhlbSBicm9rZW4u ICBCdXQgYnJva2VuIHBvcnRzIHRlbmQgdG8gZ2V0DQpkZWxldGVkIGFmdGVyIGEgd2hpbGUuICBT byB0aGlzIGlzIHRoZSBmaXJzdCBJIGtuZXcgYWJvdXQgaXQuDQoNClRoYW5rcywNClN0ZXBoZW4=