Put dup, drop, and pairs in the base fragment

3 jobs for WTSC20 in 9 minutes and 4 seconds
latest
Status Job ID Name Coverage
  Build
passed #376717851
coq

00:09:04

passed #376717847
coq:8.8

00:07:19

passed #376717849
coq:8.9

00:07:42