Conversation

Notices

1. Q (masterq@pawoo.net)'s status on Tuesday, 03-Nov-2020 08:19:59 JST Q

   Ada/SPARKってDebianパッケージになっていないんでしょうか。。。gnatは使えるけどSPARKを使う方法がわからないです。。。

   • Q (masterq@pawoo.net)'s status on Tuesday, 03-Nov-2020 15:34:43 JST Q

     • Masanori Ogino 𓀁

     @omasanori ありがとうございます！知りたいことがズバリわかりました

   • Q (masterq@pawoo.net)'s status on Tuesday, 03-Nov-2020 15:36:09 JST Q

     • Masanori Ogino 𓀁

     @omasanori が、、、ちょっと調べてみた限りだと並行プログラミングとポインタのサポートがなさそうなので、もり下がっています #SPARK熱