Comments on: The missing Adacore public download index, vintage 2018, while it lasts http://jfxpt.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/ The search for invariants Sat, 25 Apr 2026 04:57:29 +0000 http://polimedia.us hourly 1 By: TradingView dot com as understood through the platforms playbook « Fixpoint http://jfxpt.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/#comment-2980 TradingView dot com as understood through the platforms playbook « Fixpoint Sat, 23 Nov 2024 20:57:57 +0000 http://fixpoint.welshcomputing.com/?p=117#comment-2980 [...] analytics software. Keep the access gated through your website; thanks to the last generation of Web 2.0 vermin, you can even offload significant computational costs onto the users, who "have to" buy into all [...] [...] analytics software. Keep the access gated through your website; thanks to the last generation of Web 2.0 vermin, you can even offload significant computational costs onto the users, who "have to" buy into all [...]

]]> By: Poking at a swarm of GNATs « Fixpoint http://jfxpt.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/#comment-2712 Poking at a swarm of GNATs « Fixpoint Fri, 17 May 2024 17:10:46 +0000 http://fixpoint.welshcomputing.com/?p=117#comment-2712 [...] 4.4.7 RPMs from the distribution, and the binary toolchain from Eulora2 (essentially the same as Adacore's gnat-gpl-2016-x86_64-linux-bin.tar.gz). Throughout, I used the system-wide (RPM) version for [...] [...] 4.4.7 RPMs from the distribution, and the binary toolchain from Eulora2 (essentially the same as Adacore's gnat-gpl-2016-x86_64-linux-bin.tar.gz). Throughout, I used the system-wide (RPM) version for [...]

]]> By: Stanislav Datskovskiy http://jfxpt.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/#comment-242 Stanislav Datskovskiy Sat, 11 Apr 2020 17:49:21 +0000 http://fixpoint.welshcomputing.com/?p=117#comment-242 > I don't intend to go mirroring the whole 21 GB of it, though if you do, I'll gladly link it here Done; section 2 of <a href="http://www.loper-os.org/?p=3682" rel="nofollow">this</a> article. > I don't intend to go mirroring the whole 21 GB of it, though if you do, I'll gladly link it here

Done; section 2 of this article.

]]> By: Stanislav Datskovskiy http://jfxpt.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/#comment-240 Stanislav Datskovskiy Fri, 10 Apr 2020 21:45:26 +0000 http://fixpoint.welshcomputing.com/?p=117#comment-240 AFAIK 2016 was the very last edible Gnat: IIRC all more recent editions are infected with gcc5ism. AFAIK 2016 was the very last edible Gnat: IIRC all more recent editions are infected with gcc5ism.

]]>