Repository |
Package name |
Version |
Category |
Maintainer(s) |
AUR |
ssreflect |
1.9.0 |
- |
0918nobita@aur |
Debian 8 jessie/main |
ssreflect |
1.5 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Debian 9 stretch/main |
ssreflect |
1.6.1 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org |
Debian 11 bullseye/main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Debian 12 bookworm/main |
ssreflect |
1.14.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Debian Unstable sid/main |
ssreflect |
1.14.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Devuan 1.0 jessie/main |
ssreflect |
1.5 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Devuan 2.0 ascii/main |
ssreflect |
1.6.1 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org |
Devuan 4.0 chimaera/main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Devuan Unstable unstable/main |
ssreflect |
1.14.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Kali Linux Rolling main |
ssreflect |
1.14.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Pardus 17 main |
ssreflect |
1.6.1 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org |
Pardus 21 main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Parrot parrot-updates/main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Parrot parrot/main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
PureOS landing |
ssreflect |
1.12.0 |
misc |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Raspbian Stable main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Raspbian Testing main |
ssreflect |
1.14.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Trisquel 6.0 toutatis/main |
ssreflect |
1.3pl2 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Trisquel 7.0 belenos/main |
ssreflect |
1.5~rc1 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Trisquel 8.0 flidas/main |
ssreflect |
1.5 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Trisquel 9.0 etiona/main |
ssreflect |
1.6.1 |
universe/math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org |
Trisquel 10.0 nabia/main |
ssreflect |
1.10.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Ubuntu 14.04 trusty/universe |
ssreflect |
1.5~rc1 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Ubuntu 16.04 xenial/universe |
ssreflect |
1.5 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Ubuntu 18.04 bionic/universe |
ssreflect |
1.6.1 |
universe/math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org |
Ubuntu 20.04 focal/universe |
ssreflect |
1.10.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Ubuntu 21.04 hirsute/universe |
ssreflect |
1.12.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Ubuntu 21.10 impish/universe |
ssreflect |
1.12.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Ubuntu 22.04 jammy/universe |
ssreflect |
1.14.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |