/dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/ |
H A D | ethiopic.pad.in | 11 0x1372 0x1373 0x1374 0x1375 0x1376 66 0x1370 0x1371 0x1372 0x1373 0x1374 0x1375 0x1376 0x1377 -
|
/dports/editors/emacs/emacs-27.2/etc/charsets/ |
H A D | MULE-ethiopic.map | 339 0x247C 0x1375
|
/dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/ |
H A D | MULE-ethiopic.map | 339 0x247C 0x1375
|
/dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/ |
H A D | MULE-ethiopic.map | 339 0x247C 0x1375
|
/dports/x11-fonts/inconsolata-ttf/fonts-efcbdc5/tools/encodings/ |
H A D | ethiopic_unique-glyphs.nam | 350 0x1375 ETHIOPIC NUMBER FORTY
|
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/ |
H A D | Ethiopic.kmap | 377 "`40=0x1375", // ፵ = ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/make/data/characterdata/ |
H A D | CharacterData00.java.template | 423 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/make/data/characterdata/ |
H A D | CharacterData00.java.template | 423 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | qwh.35.405.shuffled-as.sat03-1651.smt | 1383 :extrapreds ((x1375)) 1788 (or (not x1375) (not x333)) 2179 (or (not x1375) (not x574)) 2197 (or (not x1375) (not x954)) 3393 (or x1583 (not x1375)) 3507 (or (not x1375) x1574) 4093 (or (not x1375) x1391) 7417 (or (not x1375) (not x383)) 8771 (or x1265 (not x1375)) 9513 (or (not x1375) x1162) [all …]
|
H A D | bmc-ibm-1.smt | 1385 :extrapreds ((x1375)) 17016 (or x1376 (not x1375)) 17020 (or (not x1387) x1375) 17043 (or x1395 (not x1375)) 17047 (or x1398 (not x1375)) 17059 (or x1407 x1375) 17325 (or x1499 x1375) 17425 (or x1418 x1375) 19361 (or x1828 x1375) 19433 (or x1837 x1375) [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
H A D | instance_1151.smt | 1384 :extrapreds ((x1375)) 3616 (or (not x1375) x206 x221) 3617 (or x1375 (not x206) x221) 3618 (or x1375 x206 (not x221)) 3619 (or (not x1375) (not x206) (not x221)) 5972 (or (not x1379) x1374 x1375) 5973 (or x1379 (not x1374) x1375) 5974 (or x1379 x1374 (not x1375)) 5975 (or (not x1379) (not x1374) (not x1375))
|
H A D | C880mul.miter.shuffled-as.sat03-348.smt | 1383 :extrapreds ((x1375)) 2712 (or x661 x1375 x1407) 2789 (or x518 x1547 x1375) 3213 (or (not x1375) (not x276) x661 x918 x800) 3924 (or (not x918) x1375) 4608 (or x1375 (not x1462)) 5053 (or x1407 (not x661) (not x1375)) 7469 (or (not x518) x1375 (not x1547)) 8474 (or x1600 x1375 x1547) 9443 (or (not x1600) (not x1547) x1375) [all …]
|
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
H A D | TPSS_ERFGWS_correlation.F | 3959 &73, x1374, x1375, x1376, x1377, x1378, x1379, x1380, x1381, x1382, 5685 x1375 = x136*x1374 5686 x1376 = x1375*x445 7663 x2939 = x132*x1375 7667 x2943 = x1375*x2942 8004 x3247 = x1375*x1511 8005 x3248 = x1375*x1514 9704 &73, x1374, x1375, x1376, x1377, x1378, x1379, x1380, x1381, x1382, 11234 x1375 = x1374*x16 11235 x1376 = -x104*x1374 + x556*(-x1373 - x1375*x360 + x555) + x558 [all …]
|
H A D | PBE_ERFGWS_correlation.F | 1996 &73, x1374, x1375, x1376, x1377, x1378, x1379, x1380, x1381, x1382, 3510 x1375 = x651*x720 3725 x1560 = 28.071472307785d0*x1375 4060 &8504d0*x1369 - 0.474042952861565d0*x1374 - 56.14294461557d0*x1375
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 609 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 609 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/www/links1/links-1.04/ |
H A D | uni_7b.inc | 1091 { 0x1375, "`40" },
|
/dports/www/links/links-2.25/ |
H A D | uni_7b.inc | 1095 { 0x1375, "`40" },
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 704 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/make/data/characterdata/ |
H A D | CharacterData00.java.template | 700 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 705 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 695 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 705 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/make/data/characterdata/ |
H A D | CharacterData00.java.template | 705 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
H A D | friedman_n4_i5.smt | 1384 :extrapreds ((x1375)) 7417 (or (not x284) (not x1375) (not x1369) x1378 x1377) 7418 (or (not x284) (not x1369) x1376 x1375) 7420 (or (not x1377) (not x1375) (not x1369) x284) 7421 (or (not x1378) (not x1375) (not x1369) x284) 7463 (or (not x1376) (not x1375)) 7464 (or (not x1371) x1375) 7465 (or (not x1375) x1371)
|