3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
lean2-git 0.2.3-1 0 0.00 Lean Theorem Prover 2 sayantankhan
python2-pyupcean 2.7.18-1 1 0.00 PyUPC-EAN is a barcode library/module for python2. Kazuki
python-pyupcean 2.7.18-1 1 0.00 PyUPC-EAN is a barcode library/module for python3. Kazuki

3 packages found. Page 1 of 1.