| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
|
|
|
| |
http://pharo.org
I'm one of the developers of Pharo and the creator and maintainer of the
Ubuntu PPA : https://launchpad.net/~pharo/+archive/stable.
|
|\
| |
| | |
Agda: drop obsolete version 2.3.2.2
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| | |
fails everywhere
|
|\ \
| | |
| | | |
dom-selector: add version 0.2.0.1
|
| | |
| | |
| | |
| | | |
I have also filed an issue with the package maintainer at nebuta/dom-selector#3
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|