PAPAIR and UNPAPAIR macros

2 jobs for [email protected] in 7 minutes and 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #328818214
coq:8.8

00:07:48

passed #328818219
coq:8.9

00:07:47