Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[DIR]](/icons/folder.gif){kind=icon} | SCCS/ | 2013-01-25 15:40 | - |
![[TXT]](/icons/text.gif){kind=icon} | double.h | 2002-03-14 01:30 | 6.2K |
| extended.h | 2002-03-14 01:30 | 11K |
| op-1.h | 2002-03-14 01:30 | 9.2K |
| op-2.h | 2002-03-14 01:30 | 19K |
| op-4.h | 2002-03-14 01:30 | 23K |
| op-8.h | 2002-03-14 01:30 | 3.8K |
| op-common.h | 2002-03-14 01:30 | 25K |
| quad.h | 2002-03-14 01:30 | 6.5K |
![[ ]](/icons/unknown.gif){kind=icon} | sha256sums.asc | 2023-04-25 22:12 | 1.6K |
| single.h | 2002-03-14 01:30 | 3.8K |
| soft-fp.h | 2002-03-14 01:30 | 4.5K |