added polyml

This commit is contained in:
Gérard Milmeister 2007-04-20 18:43:50 +00:00
parent e39292b400
commit f4dd384bcb
2 changed files with 2 additions and 0 deletions

View File

@ -835,6 +835,7 @@
<packagereq type="optional">plague</packagereq>
<packagereq type="optional">plague-client</packagereq>
<packagereq type="optional">plt-scheme</packagereq>
<packagereq type="optional">polyml</packagereq>
<packagereq type="optional">pscan</packagereq>
<packagereq type="optional">pungi</packagereq>
<packagereq type="optional">pylint</packagereq>

View File

@ -195,6 +195,7 @@
<packagereq type="optional">pikdev</packagereq>
<packagereq type="optional">pl</packagereq>
<packagereq type="optional">plt-scheme</packagereq>
<packagereq type="optional">polyml</packagereq>
<packagereq type="optional">pscan</packagereq>
<packagereq type="optional">pylint</packagereq>
<packagereq type="optional">q</packagereq>