Debian Patches
Status for coqprime/8.15-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| lowest_prime_is_2.patch | make firstprimes prove 2 is prime | Julien Puydt | yes | |||
| fix_typos.patch | fix trivial typos | Julien Puydt | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| lowest_prime_is_2.patch | make firstprimes prove 2 is prime | Julien Puydt | yes | |||
| fix_typos.patch | fix trivial typos | Julien Puydt | yes |