Theona
PPA description
Software específico para la mejora de los procesos de enseñanza-aprendizaje de las ciencias formales como Informática, Lógica y Matemática. http://www.cs.famaf.unc.edu.ar/~mpagano/tools.html
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:miguel-pagano+theona/theona to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:miguel-pagano+theona/theona sudo apt update
For questions and bugs with software in this PPA please contact Miguel Pagano.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 7 of 7 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
equ | 0.2-0~1~ubuntu13.10.1 | Miguel Pagano () |
fun | 0.2 | Miguel Pagano () |
haskell-equ | 0.2ubuntu4-0~386~ubuntu13.10.1 | Miguel Pagano () |
haskell-fun | 0.2ubuntu2 | Miguel Pagano () |
haskell-reference | 0.1-1 | Miguel Pagano () |
sat | 0.3+34+201804060431~ubuntu14.04.1 | Miguel Pagano () |
sat | 0.2.1-0~85~ubuntu13.10.1 | Miguel Pagano () |
1 → 7 of 7 results | First • Previous • Next • Last |