GitHub

Can not run Lean on Monodevelop [Python+Ubuntu] #1557

#1557 Sdoof Feb 10, 2018 Sdoof Feb 10, 2018 • edited While following the instruction led to expected execution in the terminal (following change to config.json to activate Python capability) - see ...
マイナビニュース

MonoDevelop 2.6登場 - C#でMacネイティブアプリ開発

9月7日(米国時間)、MonoDevelopの最新版となる「MonoDevelop 2.6」が公開された。MonoDevelopはC#およびほかの.NETプログラミング言語向けの統合開発環境。Windows、Mac OS X、Linuxで動作するデスクトップアプリケーションやASP .NET Webアプリケーションを開発することができる ...
Ars Technica

Mono 2.6 and MonoDevelop 2.2 improve cross-platform support

Lead Mono developer Miguel de Icaza announced today the official release of Mono 2.6 and MonoDevelop 2.2. The new versions introduce a number of compelling features, including a new debugging ...
GitHub

monodevelop-python.spec.in

# file, is the same license as for the pristine package itself (unless the # license for the pristine package is not an Open Source License, in which # case the license is the MIT License). An "Open ...