Sign up to save your podcastsEmail addressPasswordRegisterOrContinue with GoogleAlready have an account? Log in here.
October 02, 2022Ада новости за октябрь 2022гPlay00:24 Ada Enchancement Guide 202202:50 The Work of Proof in SPARK04:53 XCode 14 breaks Ada on Mac OS X06:15 Gentoo has got Ada in system GCC10:11 Ada for VS Code 23.0.1012:43 Alire has got GCC 12.2.1 with avr libc13:30 ada-lang.io improvements...moreShareView all episodesBy October 02, 2022Ада новости за октябрь 2022гPlay00:24 Ada Enchancement Guide 202202:50 The Work of Proof in SPARK04:53 XCode 14 breaks Ada on Mac OS X06:15 Gentoo has got Ada in system GCC10:11 Ada for VS Code 23.0.1012:43 Alire has got GCC 12.2.1 with avr libc13:30 ada-lang.io improvements...more
00:24 Ada Enchancement Guide 202202:50 The Work of Proof in SPARK04:53 XCode 14 breaks Ada on Mac OS X06:15 Gentoo has got Ada in system GCC10:11 Ada for VS Code 23.0.1012:43 Alire has got GCC 12.2.1 with avr libc13:30 ada-lang.io improvements
October 02, 2022Ада новости за октябрь 2022гPlay00:24 Ada Enchancement Guide 202202:50 The Work of Proof in SPARK04:53 XCode 14 breaks Ada on Mac OS X06:15 Gentoo has got Ada in system GCC10:11 Ada for VS Code 23.0.1012:43 Alire has got GCC 12.2.1 with avr libc13:30 ada-lang.io improvements...more
00:24 Ada Enchancement Guide 202202:50 The Work of Proof in SPARK04:53 XCode 14 breaks Ada on Mac OS X06:15 Gentoo has got Ada in system GCC10:11 Ada for VS Code 23.0.1012:43 Alire has got GCC 12.2.1 with avr libc13:30 ada-lang.io improvements