Alessandro Barbieri 72b0cb639c sci-mathematics/the-omega-project: reverse gui logic ...

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

2021-08-08 01:43:52 +02:00

..

chaco

sci-mathematics/chaco: fix CC

2021-05-16 19:05:03 +05:00

frama-c

*/*: add lang="en" to <longdescription>

2021-06-28 16:15:30 +02:00

the-omega-project

sci-mathematics/the-omega-project: reverse gui logic

2021-08-08 01:43:52 +02:00

why3

*/*: add lang="en" to <longdescription>

2021-06-28 16:15:30 +02:00