New package happy-lib; make previous happy-* packages sublibrarie…
#414
| Job | Run time |
|---|---|
| 4m 1s | |
| 3m 33s | |
| 3m 36s | |
| 3m 31s | |
| 3m 10s | |
| 3m 29s | |
| 3m 17s | |
| 3m 20s | |
| 3m 24s | |
| 3m 13s | |
| 3m 10s | |
| 3m 30s | |
| 41m 14s |