From owner-freebsd-questions@freebsd.org Wed Jul 27 00:18:43 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 DA804BA5E9A; Wed, 27 Jul 2016 00:18:43 +0000 (UTC) (envelope-from stephen@missouri.edu) Received: from um-tip1-missouri-out.um.umsystem.edu (um-tip1-missouri-out.um.umsystem.edu [198.209.49.135]) (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 7D9BF1191; Wed, 27 Jul 2016 00:18:43 +0000 (UTC) (envelope-from stephen@missouri.edu) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2GABgDb/JdX/9CeoM9egz9WKli6eAEbg?= =?us-ascii?q?kqDNwIcgRw8EAEBAQEBAQEDWieDRSwNXwEFIwQNRRACAQgYAgImAgICMBUQAgQ?= =?us-ascii?q?BDAEHAQEFhgmCH60AihgBBoNHAQEBAQEFAQEBAQEBAQEBAQEcgQGHIQiCTYRAF?= =?us-ascii?q?4JqgloFiCORDgGeOYwtg3g1H4IQHIFMiABFAX4BAQE?= X-IPAS-Result: =?us-ascii?q?A2GABgDb/JdX/9CeoM9egz9WKli6eAEbgkqDNwIcgRw8EAE?= =?us-ascii?q?BAQEBAQEDWieDRSwNXwEFIwQNRRACAQgYAgImAgICMBUQAgQBDAEHAQEFhgmCH?= =?us-ascii?q?60AihgBBoNHAQEBAQEFAQEBAQEBAQEBAQEcgQGHIQiCTYRAF4JqgloFiCORDgG?= =?us-ascii?q?eOYwtg3g1H4IQHIFMiABFAX4BAQE?= Received: from um-ncas4.um.umsystem.edu ([207.160.158.208]) by um-tip1-exch-relay.um.umsystem.edu with ESMTP; 26 Jul 2016 19:17:32 -0500 Received: from UM-MBX-N02.um.umsystem.edu ([169.254.5.35]) by UM-NCAS4.um.umsystem.edu ([207.160.158.208]) with mapi id 14.03.0266.001; Tue, 26 Jul 2016 19:17:31 -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: AQHR5uP8Mk3nqbEBCEKkGHkbwEKDIKArvpAA Date: Wed, 27 Jul 2016 00:17:30 +0000 Message-ID: <185fdc77-9589-29aa-57f3-f50576a9ae61@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: <44AE33612968F9438B387E388DECF2AD@missouri.edu> 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: Wed, 27 Jul 2016 00:18:44 -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+IA0KDQpIb3cgZGlkIHlvdSBtYW5hZ2UgdG8gYnVpbGQgbWF0 aC9vcGVuLWF4aW9tPyAgSSB0cmllZCBidWlsZGluZyBpdCBhZ2FpbiwNCmFuZCBJIGFtIHN0aWxs IGdldHRpbmcgdGhlIGVycm9ycy4gIFlvdSBtdXN0IGhhdmUgYXQgbGVhc3QgYnktcGFzc2VkIHRo ZQ0KQlJPS0VOIHdpdGhpbiB0aGUgcG9ydC4NCg0KQWxzbywgcmVnYXJkaW5nIHlvdXIgbGFzdCBj b21tZW50LCBJIG11c3QgYWRtaXQgdGhhdCBJIGFsc28gZmluZCBteXNlbGYNCm1vdmluZyB0byBM aW51eC4gIEZvciBjZXJ0YWluIHRhc2tzIGl0IHdvcmtzIGJldHRlciB0aGFuIEZyZWVCU0QsDQpw cm9iYWJseSBiZWNhdXNlIGl0IGhhcyBhIG11Y2ggbGFyZ2VyIGJhc2Ugb2Ygdm9sdW50ZWVycywg YW5kIGFsc28NCmJlY2F1c2UgbW9zdCBwZW9wbGUgd2hvIHdyaXRlIG9wZW4gc291cmNlIGRvIGl0 IG9uIExpbnV4Lg0KDQoNCg==