| Repository |
Package name |
Version |
Category |
Maintainer(s) |
|
AUR |
ssreflect |
1.9.0 |
- |
0918nobita@aur |
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.15.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Debian 13
trixie/main |
ssreflect |
2.3.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Debian Unstable
sid/main |
ssreflect |
2.3.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@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 |
2.3.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Kali Linux Rolling
main |
ssreflect |
2.3.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@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.15.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Parrot
parrot/main |
ssreflect |
1.15.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
PureOS byzantium
byzantium/main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
PureOS landing
landing/main |
ssreflect |
2.3.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Raspbian Oldstable
main |
ssreflect |
1.12.0 |
math |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Raspbian Stable
main |
ssreflect |
1.15.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Raspbian Testing
main |
ssreflect |
2.3.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@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 |
Trisquel 11.0
aramo/main |
ssreflect |
1.14.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@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 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 |
Ubuntu 24.04
noble/universe |
ssreflect |
2.1.0 |
universe/math |
ubuntu-devel-discuss@lists.ubuntu.com, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Ubuntu 24.10
oracular/universe |
ssreflect |
2.2.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Ubuntu 25.04
plucky/universe |
ssreflect |
2.3.0 |
universe/math |
ubuntu-devel-discuss@lists.ubuntu.com, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Ubuntu 25.10
questing/universe |
ssreflect |
2.3.0 |
universe/math |
ubuntu-devel-discuss@lists.ubuntu.com, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |