| xournal |
General PPA -
Ubuntu Vivid
|
4.8~ezyang20141015~1vivid |
|
None
|
| texwrapper |
General PPA -
Ubuntu Vivid
|
0.2.2-1ezyang~1vivid |
|
None
|
| libpbc |
General PPA -
Ubuntu Vivid
|
0.5.14-4ezyang~1vivid |
|
None
|
| ori |
General PPA -
Ubuntu Vivid
|
0.8.1-3~ezyang1~vivid |
|
None
|
| textfsm |
General PPA -
Ubuntu Vivid
|
0.2.1-1~1vivid |
|
None
|
| ott |
General PPA -
Ubuntu Vivid
|
0.25-0ubuntu1~1vivid |
|
None
|
| graphviz |
General PPA -
Ubuntu Precise
|
2.38.0-5ubuntu0.1~0precise |
|
None
|
| xournal |
General PPA -
Ubuntu Utopic
|
4.8~ezyang20141015~1utopic |
|
None
|
| xournal |
General PPA -
Ubuntu Trusty
|
4.8~ezyang20141015 |
|
None
|
| texwrapper |
General PPA -
Ubuntu Utopic
|
0.2.2-1ezyang~1utopic |
|
None
|
| textfsm |
General PPA -
Ubuntu Utopic
|
0.2.1-1~1utopic |
|
None
|
| ott |
General PPA -
Ubuntu Utopic
|
0.23-0ubuntu1~1utopic |
|
None
|
| ori |
General PPA -
Ubuntu Utopic
|
0.8.1-3~ezyang1~utopic |
|
None
|
| libpbc |
General PPA -
Ubuntu Utopic
|
0.5.14-4ezyang~1utopic |
|
None
|
| libpbc |
General PPA -
Ubuntu Trusty
|
0.5.14-4ezyang~1trusty |
|
None
|
| coq |
Coq for Homotopy Type Theory -
Ubuntu Trusty
|
8.5~stable20130415-1~trusty11 |
|
None
|
| coq |
Coq with Mtac -
Ubuntu Trusty
|
8.4pl2dfsg-mtac1.1~trusty1 |
|
None
|
| ott |
General PPA -
Ubuntu Trusty
|
0.23-0ubuntu1~1trusty |
|
None
|
| texwrapper |
General PPA -
Ubuntu Trusty
|
0.2.2-1ezyang~1trusty |
|
None
|
| ori |
General PPA -
Ubuntu Trusty
|
0.8.1-3~ezyang1~trusty |
|
None
|
| textfsm |
General PPA -
Ubuntu Trusty
|
0.2.1-1~1trusty |
|
None
|
| coq |
Coq for Homotopy Type Theory (master) -
Ubuntu Saucy
|
8.5~trunk20130731~e88e47c-0ubuntu1~saucy |
|
None
|
| coq |
Coq for Homotopy Type Theory (master) -
Ubuntu Trusty
|
8.5~trunk20130731~e88e47c-0ubuntu1~trusty |
|
None
|
| coq |
Coq for Homotopy Type Theory (master) -
Ubuntu Precise
|
8.5~trunk20130731~e88e47c-0ubuntu1~precise |
|
None
|
| coq |
Coq for Homotopy Type Theory -
Ubuntu Precise
|
8.5~stable20130415-1~precise11 |
|
None
|
| texwrapper |
General PPA -
Ubuntu Saucy
|
0.2.2-1ezyang~1saucy |
|
None
|
| textfsm |
General PPA -
Ubuntu Saucy
|
0.2.1-1~1saucy |
|
None
|
| ori |
General PPA -
Ubuntu Saucy
|
0.8.1-3~ezyang1~saucy |
|
None
|
| ott |
General PPA -
Ubuntu Saucy
|
0.23-0ubuntu1~1saucy |
|
None
|
| ori |
General PPA -
Ubuntu Raring
|
0.8.0-1~ezyang1 |
|
None
|
| gnome-settings-daemon |
General PPA -
Ubuntu Saucy
|
3.8.6.1-0ubuntu3 |
|
None
|
| xournal |
General PPA -
Ubuntu Saucy
|
4.8~ezyang20131023-1saucy |
|
None
|
| xournal |
General PPA -
Ubuntu Raring
|
4.8~ezyang20131023-1raring |
|
None
|
| textfsm |
General PPA -
Ubuntu Raring
|
0.2.1-1 |
|
None
|
| coq |
Coq for Homotopy Type Theory -
Ubuntu Saucy
|
8.5~stable20130415-1~saucy11 |
|
None
|
| coq |
Coq for Homotopy Type Theory -
Ubuntu Raring
|
8.5~stable20130415-1~raring11 |
|
None
|
| coq |
Coq with Mtac -
Ubuntu Precise
|
8.4pl2dfsg-mtac1.1~precise1 |
|
None
|
| coq |
Coq with Mtac -
Ubuntu Saucy
|
8.4pl2dfsg-mtac1.1~saucy1 |
|
None
|
| coq |
Coq with Mtac -
Ubuntu Raring
|
8.4pl2dfsg-mtac1.1~raring1 |
|
None
|
| module-assistant |
General PPA -
Ubuntu Raring
|
0.11.6-1~raring1 |
|
None
|
| coq |
General PPA -
Ubuntu Raring
|
8.4pl2dfsg-1~raring1 |
|
None
|
